肥後研究室
> English
肥後研究室志望の方へ
研究紹介
研究業績
メンバー
ニュース
アクセス
研究室内
研究紹介
研究業績
メンバー
ニュース
アクセス
研究室内
発表論文
文献形式
«
1
…
24
25
…
26
27
»
番号
著者
題名
日付
種別
ファイル
番号
37
著者
松本健一
題名
NHPPに基づくソフトウェア信頼度成長モデルの定量的比較
日付
1988年
2月4-5日
種別
国内会議
ファイル
番号
36
著者
Feng An
題名
Generating Practical PROLOG Programs from Attribute Grammars
日付
1987年
10月1日
種別
国際会議
ファイル
番号
35
著者
Matsumoto Kenichi
題名
Error Life Span and Programmer Performance
日付
1987年
10月1日
種別
国際会議
ファイル
番号
34
著者
井上克郎
題名
ガーベジセルの直接回収を行なうLISPシステムの試作
日付
1987年
11月25日
種別
国内会議
ファイル
番号
33
著者
井上克郎
題名
囲碁ルールの代数的記述とその関数型プログラムへの変換
日付
1987年
11月21日
種別
国内会議
ファイル
番号
32
著者
大西諭
題名
候捕手記述言語’拡張Gopal’を用いた囲碁プログラムの試作
日付
1987年
11月13日
種別
国内会議
ファイル
番号
31
著者
西良厚正
題名
エキスパートシステム構築支援ツールXPT(3) −応用事例(??)−
日付
1987年
9月1日
種別
国内会議
ファイル
番号
30
著者
大西諭
題名
ある囲碁プログラムにおける候捕手選択について
日付
1987年
9月1日
種別
国内会議
ファイル
番号
29
著者
野村研仁
題名
実行時エラーメッセージに基づくデバッグ用エキスパートシステムについて
日付
1987年
9月1日
種別
国内会議
ファイル
番号
28
著者
御井敬
題名
プログラム仕様に用いる自然語の処理システム −システム構成とユーザインターフェイス−
日付
1987年
9月1日
種別
国内会議
ファイル
番号
27
著者
荻原剛志
題名
クラス階層への型導入に関する考察
日付
1987年
9月1日
種別
国内会議
ファイル
番号
26
著者
稲田良造
題名
代数的仕様記述法に基づく抽象的順序機械へのシステムコールなどの導入
日付
1987年
9月1日
種別
国内会議
ファイル
番号
25
著者
荻原剛志
題名
オブジェクト指向言語でのデータを共有する多重継承方式の提案
日付
1987年
8月1日
種別
論文(ショート・レター)
ファイル
番号
24
著者
Torii Koji
題名
Logical Programming for the Telegram Analysis Problem
日付
1987年
1月1日
種別
論文
ファイル
番号
23
著者
馮安
題名
共通属性をもつ属性文法とそのPROLOGによる実行系
日付
1987年
7月1日
種別
論文
ファイル
番号
22
著者
鳥居宏次(司会)
題名
明日のソフトウェア工学
日付
1987年
7月
種別
討論会
ファイル
番号
21
著者
野村研仁
題名
実行時エラーの原因診断エキスパートシステムの試作
日付
1987年
6月24日
種別
国内会議
ファイル
番号
20
著者
馮安
題名
属性文法の実行系における最適化手法
日付
1987年
3月26-29日
種別
国内会議
ファイル
番号
19
著者
工藤英男
題名
プログラム設計過程の定量化に関する一考察(その3)
日付
1987年
3月1日
種別
国内会議
ファイル
番号
18
著者
馮安
題名
属性文法記述言語PANDAの処理系における最適化
日付
1987年
2月13日
種別
国内会議
ファイル
番号
17
著者
鷲坂光一
題名
代数的記述に基づく抽象的順序機械の処理系の作成
日付
1987年
2月13日
種別
国内会議
ファイル
番号
16
著者
石木信之
題名
プログラム仕様に用いる自然語の処理システム −代数的仕様への変換と知識管理−
日付
1987年
2月13日
種別
国内会議
ファイル
番号
15
著者
井上克郎
題名
囲碁ルールの代数的記述について
日付
1987年
2月13日
種別
国内会議
ファイル
番号
14
著者
工藤英男
題名
プログラム設計過程の定量化に関する一考察(その2) −複合設計法の採用による効果−
日付
1986年
10月1日
種別
国内会議
ファイル
番号
13
著者
鷲坂光一
題名
代数的記述に基づく抽象的順序機械の処理系の設計
日付
1986年
10月1日
種別
国内会議
ファイル
番号
12
著者
大西諭
題名
ソフトウェア開発におけるメトリックス環境
日付
1986年
10月1日
種別
国内会議
ファイル
番号
11
著者
馮安
題名
属性文法の表記法について −共通属性の導入−
日付
1986年
10月1日
種別
国内会議
ファイル
番号
10
著者
松本健一
題名
プログラム作成能力の評価尺度とデータ収集ツール
日付
1986年
9月24日
種別
国内会議
ファイル
番号
9
著者
杉山裕二
題名
属性文法に基づく言語PANDAとDCGへの変換
日付
1986年
7月3日
種別
国内会議
ファイル
番号
8
著者
前野芳史
題名
属性文法記述からDCGの生成
日付
1986年
3月1日
種別
国内会議
ファイル
番号
7
著者
松本健一
題名
ソフトウェア信頼性モデルの比較とプログラム作成能力の評価基準について
日付
1986年
3月1日
種別
国内会議
ファイル
番号
6
著者
工藤英男
題名
プログラム設計過程の定量化に関する一考察
日付
1986年
3月1日
種別
国内会議
ファイル
番号
5
著者
安松一樹
題名
抽象的順序機械から関数型プログラムへの変換システム
日付
1986年
3月1日
種別
国内会議
ファイル
番号
4
著者
鳥居宏次
題名
Logical Programming for the Telegram Analysis Problem
日付
1986年
2月6日
種別
国内会議
ファイル
番号
3
著者
安松一樹
題名
抽象的順序機械からASL/Fプログラムへの変換システムについて
日付
1986年
2月6日
種別
国内会議
ファイル
番号
2
著者
関浩之
題名
関数型言語ASL/FコンパイラのUNIX上での実現
日付
1985年
3月1日
種別
国内会議
ファイル
番号
1
著者
Torii Koji
題名
Functional Programming and Logical Programming for the Telegram Analysis Problem
日付
1984年
1月1日
種別
国際会議
ファイル
«
1
…
24
25
…
26
27
»
研究業績のページに戻る