inoueke-n
Japanese 
/ Home / Research / Papers, Reports, Theses / Members / News /

-Papers, Technical Reports (Torii & Inoue Laboratories)

Bibliography
Search
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
Number Author Title Date Type Files
19  工藤英男  プログラム設計過程の定量化に関する一考察(その3)  Mar/18-20/1987  inproceeding  
18  馮安  属性文法記述言語PANDAの処理系における最適化  Feb/13/1987  report  
17  鷲坂光一  代数的記述に基づく抽象的順序機械の処理系の作成  Feb/13/1987  report  
16  石木信之  プログラム仕様に用いる自然語の処理システム −代数的仕様への変換と知識管理−  Feb/13/1987  report  
15  井上克郎  囲碁ルールの代数的記述について  Feb/13/1987  report  
14  工藤英男  プログラム設計過程の定量化に関する一考察(その2) −複合設計法の採用による効果−  Oct/1-3/1986  inproceeding  
13  鷲坂光一  代数的記述に基づく抽象的順序機械の処理系の設計  Oct/1-3/1986  inproceeding  
12  大西諭  ソフトウェア開発におけるメトリックス環境  Oct/1-3/1986  inproceeding  
11  馮安  属性文法の表記法について −共通属性の導入−  Oct/1-3/1986  inproceeding  
10  松本健一  プログラム作成能力の評価尺度とデータ収集ツール  Sep/24/1986  report  
9  杉山裕二  属性文法に基づく言語PANDAとDCGへの変換  Jul/3/1986  report  
8  前野芳史  属性文法記述からDCGの生成  Mar/23-26/1986  inproceeding  
7  松本健一  ソフトウェア信頼性モデルの比較とプログラム作成能力の評価基準について  Mar/23-26/1986  inproceeding  
6  工藤英男  プログラム設計過程の定量化に関する一考察  Mar/11-13/1986  inproceeding  
5  安松一樹  抽象的順序機械から関数型プログラムへの変換システム  Mar/11-13/1986  inproceeding  
4  鳥居宏次  Logical Programming for the Telegram Analysis Problem  Feb/6/1986  report  
3  安松一樹  抽象的順序機械からASL/Fプログラムへの変換システムについて  Feb/6/1986  report  
2  関浩之  関数型言語ASL/FコンパイラのUNIX上での実現  Mar/1985  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

Back to Papers, Reports, Theses page.


homeHome © Software Engineering Laboratory mailFor questions and comments, please send mail.