研究者詳細

その他研究業績
分割表示   全件表示 >>

25 件中 21 - 25 件目

年度
Year
題名等
Titles
カテゴリ
Category
細目
Authorship
掲載雑誌名等 Publishing Magazine,発行所 Publisher,巻/号 Vol./no.,頁数 Page nos.,発行年月(日) Date
2006  Reversible Structured Program Theorem  国際学会発表  その他 
Proc. The 18th Nordic Workshop on Programming Theory  , 93-95   

概要(Abstract)  

備考(Remarks)  

2005  Calculation Rules for Warming-up in Fusion Transformation  国際学会発表  その他 
Proc. The Sixth Symposium on Trends in Functional Programming  , 399-412   

概要(Abstract)  

備考(Remarks)  

2003  決定論的2階パタンとプログラム変換への応用  国内学会発表  その他 
日本ソフトウェア科学会第20回記念大会論文集  , 16-19   

概要(Abstract)  

備考(Remarks)  

2002  Yicho --- A System for Programming Program Calculations  国際会議発表  その他 
Proc. The Third Asian Workshop on Programming Languages and Systems  , 366-382   

概要(Abstract)  

備考(Remarks)  

2001  最大マーク付け問題の効率的プログラムの自動生成  国内学会発表  その他 
情報処理学会第36回プログラミング研究会  , 情報処理学会  , 22--23   

概要(Abstract)  

備考(Remarks)  

Page: [<<PREV] [1] [2] [3] [NEXT>>]