English
電気通信大学 
大学院情報理工学研究科、情報理工学域 
情報・ネットワーク工学専攻、Ⅰ類 (情報系) 

准教授 
小宮 常康 
コミヤ ツネヤス 
TSUNEYASU KOMIYA 

個人ウェブサイトはこちら  

経歴
京都大学大学院工学研究科情報工学専攻  助手  1996/04-現在 
京都大学大学院情報学研究科通信情報システム専攻  助手  1998/04-現在 
豊橋技術科学大学情報工学系  講師  2003/12-現在 
静岡大学工学部  非常勤講師(併任)  2005/10-2006/09 
電気通信大学大学院情報システム学研究科  助教授  2007/01/01-現在 

学歴
豊橋技術科学大学  工学部  情報工学  1991/03  卒業 
豊橋技術科学大学  工学研究科  情報工学専攻  修士  1993/03  修了 
豊橋技術科学大学  工学研究科  システム情報工学専攻  博士  1996/03  修了 

学位
博士(工学)  豊橋技術科学大学  1996 

学内担当授業科目
2019  計算機通論  前期  学部(昼間) 
2019  基礎プログラミングおよび演習  後期  学部(昼間) 
2019  情報数理工学実験第二A,第二B  後期  学部(昼間) 
2019  基盤ソフトウェア特論  後期  大学院(IE)  博士前期・後期課程共通 
詳細表示...

現在の専門分野
ソフトウェア 

現在の研究課題
プログラミング言語/言語処理系  コンパイラ,インタプリタ,並列分散処理  1996-現在 

著書
著書(翻訳)  ガベージコレクション 自動的メモリ管理を構成する理論と実装  前田敦司,鵜川始陽,小宮常康  翔泳社  2016/03/14  978-4798134208 
詳細表示...

論文
一般論文  有  Evaluating Portable Mechanisms for Legitimate Execution Stack Access with a Scheme Interpreter in an Extended SC Language  共著  Masahiro Yasugi, Reichi Ikeuchi, Tasuku Hiraishi, Tsuneyasu Komiya  Journal of Information Processing  27, 177-189  2019/02/15  10.2197/ipsjjip.27.177 
一般論文  有  L-Closureを用いた真に末尾再帰的なSchemeインタプリタ  八杉昌宏,小島啓史,小宮常康,平石 拓,馬谷誠二,湯淺太一  情報処理学会論文誌 プログラミング  3/ 5, 1-17  2010/12 
一般論文  有  入れ子関数を利用する動的負荷分散と高水準記述  八杉昌宏,小宮常康,湯淺太一  情報処理学会論文誌:コンピューティングシステム  45/ SIG 11 (ACS 7), 368-377  2004 
一般論文  有  階層的グループ化に基づくコピー型ごみ集めによる局所性改善  八杉昌宏,伊藤智一,小宮常康,湯淺太一  情報処理学会論文誌:プログラミング  45/ SIG 5 (PRO 21), 35-52  2004 
一般論文  有  オブジェクト指向並列言語OPAのための遅延正規化手法  馬谷誠二,八杉昌宏,小宮常康,湯淺太一  情報処理学会論文誌:プログラミング  45/ SIG 5 (PRO 21), 12-25  2004 
詳細表示...

研究発表
学会口頭発表  Evaluating Implementations of First-class Continuations for a Scheme Interpreter in an Extended SC Language  The 18th Asian Symposium on Programming Languages and Systems (APLAS)  Poster session  有  Daiki Bise, Masahiro Yasugi, Tasuku Hiraishi, Tsuneyasu Komiya  2021/12/01 
学会口頭発表  ごみ集めにおける自動ルート保護と手動ルート保護の併用手法  情報処理学会第129回プログラミング研究発表会  無  半澤順一,小宮常康  2020/06/02 
学会口頭発表  TypeScriptにおける型定義を切り替え可能な型検査補助ツールの実装  第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)  カテゴリ3  無  木戸章紀,小宮 常康  2020/03/09 
学会口頭発表  アサーションを取り入れた静的解析に基づくデバッグ支援ツール  第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)  カテゴリ3  無  関口雄太,小宮常康  2020/03/09 
学会口頭発表  FFIをもつSchemeインタプリタのための部分コンパイル方式コンパイラの構成法  情報処理学会第81回全国大会講演論文集  無  寺澤哉門,小宮常康  2019/03/15 
詳細表示...

受賞
情報処理学会 平成8年度論文賞  1997/05/20 
詳細表示...

公開講座・講演会等
日本技術士会情報工学部会・情報処理学会CPDコラボ・ワークショップ  日本技術士会  2018/10/20  港区 
ちょうふ市内・近隣大学等公開講座  2011/09/06  調布市 
平成19年度市内・近隣大学等公開講座「情報化社会の舞台裏」  2007/11/06 
詳細表示...

所属学協会
日本ソフトウェア科学会 
情報処理学会 
詳細表示...

会議・研究会等
日本ソフトウェア科学会 第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022)  プログラム委員  2022/03 
日本ソフトウェア科学会第38回大会  プログラム委員  2021/09 
FIT2017 第16回情報科学技術フォーラム  FIT2017プログラム委員会  2017/09 
日本ソフトウェア科学会 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)  プログラム委員  2017/03 
FIT2016 第15回情報科学技術フォーラム  FIT2016研究専門委員会担当委員  2016/09 
詳細表示...

社会貢献活動
その他社会活動の実績  情報処理学会情報入試委員会  2020/12/08-現在 
学術雑誌関係  論文誌ジャーナル/JIP編集委員会  2019/06/01-2023/05/31  編集委員 
その他社会活動の実績  JSONデータ交換フォーマットJIS原案作成委員会  2019/04/09-2020/03/31 
調査・研究会などの実績  情報処理学会プログラミング研究会  2013/04-2017/03  運営委員会幹事 
学術雑誌関係  情報処理学会論文誌:プログラミング  2013/04-2017/03  編集委員 
詳細表示...