発表論文

文献形式

1 …24 25 …26 27

番号

著者

題名

日付

種別

ファイル

番号37

著者松本健一

題名ＮＨＰＰに基づくソフトウェア信頼度成長モデルの定量的比較

日付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

著者井上克郎

題名ガーベジセルの直接回収を行なうＬＩＳＰシステムの試作

日付1987年11月25日

種別国内会議

ファイル

番号33

著者井上克郎

題名囲碁ルールの代数的記述とその関数型プログラムへの変換

日付1987年11月21日

種別国内会議

ファイル

番号32

著者大西諭

題名候捕手記述言語’拡張Ｇｏｐａｌ’を用いた囲碁プログラムの試作

日付1987年11月13日

種別国内会議

ファイル

番号31

著者西良厚正

題名エキスパートシステム構築支援ツールＸＰＴ（３） −応用事例（??）−

日付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

著者馮安

題名共通属性をもつ属性文法とそのＰＲＯＬＯＧによる実行系

日付1987年7月1日

種別論文

ファイル

番号22

著者鳥居宏次（司会）

題名明日のソフトウェア工学

日付1987年7月

種別討論会

ファイル

番号21

著者野村研仁

題名実行時エラーの原因診断エキスパートシステムの試作

日付1987年6月24日

種別国内会議

ファイル

番号20

著者馮安

題名属性文法の実行系における最適化手法

日付1987年3月26-29日

種別国内会議

ファイル

番号19

著者工藤英男

題名プログラム設計過程の定量化に関する一考察（その３）

日付1987年3月1日

種別国内会議

ファイル

番号18

著者馮安

題名属性文法記述言語ＰＡＮＤＡの処理系における最適化

日付1987年2月13日

種別国内会議

ファイル

番号17

著者鷲坂光一

題名代数的記述に基づく抽象的順序機械の処理系の作成

日付1987年2月13日

種別国内会議

ファイル

番号16

著者石木信之

題名プログラム仕様に用いる自然語の処理システム −代数的仕様への変換と知識管理−

日付1987年2月13日

種別国内会議

ファイル

番号15

著者井上克郎

題名囲碁ルールの代数的記述について

日付1987年2月13日

種別国内会議

ファイル

番号14

著者工藤英男

題名プログラム設計過程の定量化に関する一考察（その２） −複合設計法の採用による効果−

日付1986年10月1日

種別国内会議

ファイル

番号13

著者鷲坂光一

題名代数的記述に基づく抽象的順序機械の処理系の設計

日付1986年10月1日

種別国内会議

ファイル

番号12

著者大西諭

題名ソフトウェア開発におけるメトリックス環境

日付1986年10月1日

種別国内会議

ファイル

番号11

著者馮安

題名属性文法の表記法について −共通属性の導入−

日付1986年10月1日

種別国内会議

ファイル

番号10

著者松本健一

題名プログラム作成能力の評価尺度とデータ収集ツール

日付1986年9月24日

種別国内会議

ファイル

番号9

著者杉山裕二

題名属性文法に基づく言語ＰＡＮＤＡとＤＣＧへの変換

日付1986年7月3日

種別国内会議

ファイル

番号8

著者前野芳史

題名属性文法記述からＤＣＧの生成

日付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

著者安松一樹

題名抽象的順序機械からＡＳＬ／Ｆプログラムへの変換システムについて

日付1986年2月6日

種別国内会議

ファイル

番号2

著者関浩之

題名関数型言語ＡＳＬ／ＦコンパイラのＵＮＩＸ上での実現

日付1985年3月1日

種別国内会議

ファイル

番号1

著者Torii Koji

題名Functional Programming and Logical Programming for the Telegram Analysis Problem

日付1984年1月1日

種別国際会議

ファイル

1 …24 25 …26 27

研究業績のページに戻る