Published Papers

Number	Author	Title	Date	Type
15	井上克郎	囲碁ルールの代数的記述について	February 13, 1987	Domestic Conference
14	工藤英男	プログラム設計過程の定量化に関する一考察（その２） −複合設計法の採用による効果−	October 1-3, 1986	Domestic Conference
13	鷲坂光一	代数的記述に基づく抽象的順序機械の処理系の設計	October 1-3, 1986	Domestic Conference
12	大西諭	ソフトウェア開発におけるメトリックス環境	October 1-3, 1986	Domestic Conference
11	馮安	属性文法の表記法について −共通属性の導入−	October 1-3, 1986	Domestic Conference
10	松本健一	プログラム作成能力の評価尺度とデータ収集ツール	September 24, 1986	Domestic Conference
9	杉山裕二	属性文法に基づく言語ＰＡＮＤＡとＤＣＧへの変換	July 3, 1986	Domestic Conference
8	前野芳史	属性文法記述からＤＣＧの生成	March 23-26, 1986	Domestic Conference
7	松本健一	ソフトウェア信頼性モデルの比較とプログラム作成能力の評価基準について	March 23-26, 1986	Domestic Conference
6	工藤英男	プログラム設計過程の定量化に関する一考察	March 11-13, 1986	Domestic Conference
5	安松一樹	抽象的順序機械から関数型プログラムへの変換システム	March 11-13, 1986	Domestic Conference
4	鳥居宏次	Logical Programming for the Telegram Analysis Problem	February 6, 1986	Domestic Conference
3	安松一樹	抽象的順序機械からＡＳＬ／Ｆプログラムへの変換システムについて	February 6, 1986	Domestic Conference
2	関浩之	関数型言語ＡＳＬ／ＦコンパイラのＵＮＩＸ上での実現	March, 1985	Domestic Conference
1	Torii Koji	Functional Programming and Logical Programming for the Telegram Analysis Problem	1984	International Conference


/ Research / Publications / Members / News / Access / Private /