Rchr
J-GLOBAL ID:200901092081746362
Update date: Oct. 07, 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 (25):
-
Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, Tsuneyasu Komiya. Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers. Proceedings of the 17th ACM SIGPLAN International Haskell Symposium. 2024. 83-96
-
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
more...
MISC (5):
-
小宮常康. 大学情報入試の動向:2.国公立大学における情報入試. 情報処理. 2024. 65. 2. e6-e9
-
小宮常康. 教科「情報」の入学試験問題って?:時間短縮大作戦!. 情報処理. 2022. 63. 11. e34-e52
-
小宮 常康, 佐藤 喬. ぺた語義:全国大会イベント「2025年実施の大学情報入試への展望」の報告. 情報処理. 2021. 62. 9. 490-494
-
小宮常康, 湯淺太一. TUTScheme. コンピュータソフトウェア. 2011. 28. 3. 70-75
-
WATANABE Nobuya, YOKOYAMA Daisaku, CHIKAYAMA Takashi, KOMIYA Tsuneyasu, YUASA Taiich. A High-level Machine Language for Memory-Location-Conscious Parallel Processing. Conference Proceedings of Japan Society for Software Science and Technology. 2003. 2003. 0. 84-84
Books (1):
-
ガベージコレクション 自動的メモリ管理を構成する理論と実装
翔泳社 2016 ISBN:9784798134208
Lectures and oral presentations (70):
-
関数型言語の諸概念を取り入れたシェル
(情報処理学会第86回全国大会 2024)
-
電気通信大学における情報入試体験会の実施結果概要の報告
(情報処理学会第86回全国大会 2024)
-
演算の融合による数値計算ライブラリIFNのメモリ効率の改善
(第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024))
-
GCアサーションにおけるメモリリーク要因の提示機能
(情報処理学会第85回全国大会 2023)
-
インタプリタとコンパイラ生成コードの対比によるコンパイラ実行時環境理解支援ツール
(情報処理学会第85回全国大会 2023)
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 (31):
- 2024/06 - 現在 情報処理学会 情報入試委員会幹事
- 2024/04 - 現在 日本ソフトウェア科学会 編集委員会副編集委員長
- 2023/04 - 現在 日本ソフトウェア科学会 プログラミング論研究会 運営委員
- 2024/07 - 2024/10 日本ソフトウェア科学会 日本ソフトウェア科学会第41回大会プログラム委員
- 2020/12 - 2024/05 情報処理学会 情報入試委員会委員
- 2012/04 - 2024/03 日本ソフトウェア科学会 コンピュータソフトウェア 編集委員
- 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