亀山 幸義(カメヤマ ユキヨシ)
- 会議発表等
- Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators
Ikuo Kobori; Kameyama Yukiyoshi
Workshop on Continuations 2015/2015-01-22--2015-01-22 - 多値モデル検査を用いたモデル化の誤りの発見
辰己淳朗; 亀山幸義
情報処理学会第57回プログラミング研究会____/2006-01 - コード実行機能と計算エフェクトを持つ型付きマルチステージ言語
杉浦啓介; 亀山幸義
日本ソフトウェア科学会第26回大会____/2009-09 - 限定継続に基づくスケーラブルなウェブアプリケーション構築手法
田中麻峰; 亀山幸義
電子情報通信学会 ソフトウェアサイエンス研究会 技術報告____/2010-03 - Improving Error Message in Type System
Cynthia Kustanto; Yukiyoshi Kameyama
情報処理学会プログラミング研究会____/2010-03 - Typed dynamic control operators for delimited continuations
Kameyama Yukiyoshi; Yonezawa Takuo
9th International Symposium on Functional and Logic Programming/2008-04-14--2008-04-16 - A Direct Algorithm for Multi-valued Bounded Model Checking
Andrade Jefferson O.; Kameyama Yukiyoshi
6th International Symposium on Automated Technology for Verification and Analysis/2008-10-20--2008-10-23
- Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators