亀山 幸義(カメヤマ ユキヨシ)
- 論文
- 抽象化と精密化による実時間モデル検査の改善
中島 一; 亀山 幸義
情報処理学会論文誌. プログラミング/45(12)/pp.11-24, 2004-11 - 自由な時間の使い方
亀山 幸義
コンピュータソフトウェア/23(1)/p.93, 2006-01 - 多値モデル検査を利用したモデル化の誤りの発見
辰巳 淳朗; 亀山 幸義
情報処理学会論文誌. プログラミング/47(11)/p.50, 2006-07 - 階層化コントロールオペレータに対する型システムの構築
鈴木 輝信; 亀山 幸義
情報処理学会論文誌. プログラミング/48(10)/pp.138-150, 2007-06 - 動的環境と限定継続を持つプログラム言語の意味論と実装
田中 陽; 亀山 幸義
情報処理学会論文誌. プログラミング/48(12)/p.67, 2007-08 - オブジェクト指向言語に対するメタプログラミング言語の設計と実装
佐々木 卓; 亀山 幸義
情報処理学会論文誌. プログラミング/48(12)/p.68, 2007-08 - A Type System for Dynamic Delimited Continuations
Yonezawa Takuo; Kameyama Yukiyoshi
IPSJ Digital Courier/4(0)/pp.182-192, 2008-01 - A Type System for Dynamic Delimited Continuations
Yonezawa Takuo; Kameyama Yukiyoshi
Information and Media Technologies/3(2)/pp.316-326, 2008-01 - 1Q-5 マルチステージプログラミングのための計算体系の実装(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
杉浦 啓介; 亀山 幸義
全国大会講演論文集/70(1)/p.303, 2008-03 - A Type System for Dynamic Delimited Continuations
YONEZAWA TAKUO; KAMEYAMA YUKIYOSHI
情報処理学会論文誌. プログラミング/49(3)/pp.28-38, 2008-03 - FOREWORD
KAMEYAMA Yukiyoshi
IEICE Transactions on Information and Systems/92(5)/pp.971-971, 2009-01 - Improving Error Messages in Type System
Kustanto Cynthia; Kameyama Yukiyoshi
Information and Media Technologies/5(4)/pp.1241-1254, 2010-01 - 限定継続に基づくスケーラブルなウェブアプリケーション構築手法
田中 麻峰; 亀山 幸義
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス/109(456)/pp.163-168, 2010-03 - Improving Error Messages in Type System
Cynthia Kustanto; Yukiyoshi Kameyama
情報処理学会論文誌. プログラミング/3(4)/pp.43-56, 2010-09 - Special Section on Formal Approach FOREWORD
Kameyama Yukiyoshi
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS/E92D(5)/pp.971-971, 2009-05
- 抽象化と精密化による実時間モデル検査の改善