Rchr
J-GLOBAL ID:200901092081746362
Update date: Jan. 30, 2024
KOMIYA TSUNEYASU
コミヤ ツネヤス | KOMIYA TSUNEYASU
Affiliation and department:
Job title:
Associate Professor
Homepage URL (1):
http://www.spa.is.uec.ac.jp/~komiya/
Research field (1):
Software
Research keywords (1):
プログラミング言語,プログラミング言語処理系
Research theme for competitive and other funds (4):
- 2009 - 2014 Enhancing and Exploiting a Language Mechanism for Legitimate Manipulation of Execution States
- 2001 - 2005 Software Development based on Continuous Computing Resources
- 1997 - 1998 Study for Optimization of Continuations
- 1995 - 1996 Study for Effective Use of Vector Processors Based on Data-Parallel Model
Papers (24):
-
Masahiro Yasugi, Reichi Ikeuchi, Tasuku Hiraishi, Tsuneyasu Komiya. Evaluating Portable Mechanisms for Legitimate Execution Stack Access with a Scheme Interpreter in an Extended SC Language. Journal of Information Processing. 2019. 27. 177-189
-
八杉昌宏, 小島啓史, 小宮常康, 平石 拓, 馬谷誠二, 湯淺太一. L-Closureを用いた真に末尾再帰的なSchemeインタプリタ. 情報処理学会論文誌 プログラミング. 2010. 3. 5. 1-17
-
Masahiro Yasugi, Tsuneyasu Komiya, Tasuku Hiraishi, Seiji Umatani. Managing continuations for proper tail recursion. Proceedings of the 2010 International Conference on Lisp, ILC '10. 2010. 65-72
-
H Saiki, Y Konaka, T Komiya, M Yasugi, T Yuasa. Real-time GC in JeRTy (TM) VM using the return-barrier method. ISORC 2005: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Proceedings. 2005. 140-148
-
馬谷誠二, 八杉昌宏, 小宮常康, 湯淺太一. オブジェクト指向並列言語OPAのための遅延正規化手法. 情報処理学会論文誌:プログラミング. 2004. 45. SIG 5 (PRO 21). 12-25
more...
MISC (3):
Books (1):
-
ガベージコレクション 自動的メモリ管理を構成する理論と実装
翔泳社 2016 ISBN:9784798134208
Lectures and oral presentations (67):
-
GCアサーションにおけるメモリリーク要因の提示機能
(情報処理学会第85回全国大会 2023)
-
インタプリタとコンパイラ生成コードの対比によるコンパイラ実行時環境理解支援ツール
(情報処理学会第85回全国大会 2023)
-
各教科で使用可能なフローチャートを利用した論理的思考力育成システムの開発
(情報処理学会第64回プログラミング・シンポジウム 2023)
-
前処理による静的解析ツールsolhintの解析性能向上
(情報処理学会第84回全国大会講演論文集 2022)
-
値への追跡子付与による動的プログラム解析手法
(情報処理学会第84回全国大会講演論文集 2022)
more...
Education (1):
- 1993 - 1996 Toyohashi University of Technology Graduate School, Division of Engineering システム情報工学専攻
Professional career (1):
- Doctor of Engineering (Toyohashi University of Technology)
Work history (7):
Committee career (28):
- 2023/04 - 現在 日本ソフトウェア科学会 プログラミング論研究会 運営委員
- 2020/12 - 現在 情報処理学会 情報入試委員会
- 2012/04 - 現在 日本ソフトウェア科学会 コンピュータソフトウェア 編集委員
- 2019/06 - 2023/05 情報処理学会 論文誌ジャーナル/JIP編集委員会
- 2022 - 日本ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023) プログラム共同委員長
- 2019/04 - 2021/03 独立行政法人大学入試センター 教科科目第一委員会委員及び問題作成部会委員
- 2021 - 日本ソフトウェア科学会第38回大会 プログラム委員
- 2021 - 日本ソフトウェア科学会 第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022) プログラム委員
- 2019/04 - 2020/03 情報処理学会 JSONデータ交換フォーマットJIS原案作成委員会
- 2013/04 - 2017/03 情報処理学会 プログラミング研究会幹事
- 2017 - FIT2017 第16回情報科学技術フォーラム FIT2017プログラム委員会
- 2016 - 日本ソフトウェア科学会第33回大会 プログラム委員
- 2016 - FIT2016 第15回情報科学技術フォーラム FIT2016研究専門委員会担当委員
- 2016 - 日本ソフトウェア科学会 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017) プログラム委員
- 2013 - 先進的計算基盤システムシンポジウムSACSIS2013 組織委員
- 2013 - 日本ソフトウェア科学会第30回大会 プログラム委員
- 2012 - 日本ソフトウェア科学会 第14回プログラミングおよびプログラミング言語ワークショップ(PPL2013) プログラム委員
- 2011 - 先進的計算基盤システムシンポジウムSACSIS2011 プログラム委員
- 2011 - 日本ソフトウェア科学会 第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012) プログラム委員
- 2010 - ACM/ICPC東京大会 審判
- 2007/04 - 2009/03 独立行政法人大学入試センター 教科科目第一委員会委員
- 2005/04 - 2009/03 情報処理学会 情報処理学会論文誌:プログラミング 編集委員
- 2009 - ACM/ICPC東京大会 審判
- 2008 - 日本ソフトウェア科学会第25回大会 プログラム委員
- 2007 - 日本ソフトウェア科学会第24回大会 プログラム委員
- 1999/04 - 2003/03 情報処理学会 プログラミング研究会 運営委員
- 2003 - 先進的計算基盤システムシンポジウムSACSIS2003 プログラム委員
- 2002 - 並列処理シンポジウムJSPP2002 プログラム委員
Show all
Awards (1):
- 1997/05 - 情報処理学会 平成8年度論文賞
Association Membership(s) (2):
Return to Previous Page