いのうえけ〜ん
English 
/ ホームページ / 研究紹介 / 発表論文・技術報告・学位論文 / メンバー / ニュース /

-研究業績 (旧鳥居研〜井上研)

文献形式
検索
new 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56
番号 著者 題名 日付 種別 ファイル
5  安松一樹  抽象的順序機械から関数型プログラムへの変換システム  1986/3/11-13  inproceeding  
4  鳥居宏次  Logical Programming for the Telegram Analysis Problem  1986/2/6  report  
3  安松一樹  抽象的順序機械からASL/Fプログラムへの変換システムについて  1986/2/6  report  
2  関浩之  関数型言語ASL/FコンパイラのUNIX上での実現  1985/3  inproceeding  
1  Torii Koji  Functional Programming and Logical Programming for the Telegram Analysis Problem  1984  inproceeding  
new 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56

発表論文・技術報告・学位論文のページに戻る


homeホームページへ © ソフトウェア工学講座 mailお問い合わせはこちらまで