2016年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
B-021継続渡しスタイルのラムダ計算のための簡潔な記法に基づくプログラミング言語の提案

島　和之,  

B-023データアクセス層の品質確保に向けたSQL精査の取り組み

七澤尚資,  堀野智久,  遠藤　浩,  

B-024B-Methodにおけるリファインメントの集約化手法

福泉真隆,  織田　健,  

B-025データモデル : 方法論の理論と実際

中村正治,