HIGO LAB HIGO LAB
Interested in HIGO LAB?
Research Publications Members News Access Private

Published Papers

«
1…2425…2627
»
No.
Author
Title
Date
Type
Files
Number37
Author松本健一
TitleＮＨＰＰに基づくソフトウェア信頼度成長モデルの定量的比較
DateFebruary 4-5, 1988
TypeDomestic Conference
Files
Number36
AuthorFeng An
TitleGenerating Practical PROLOG Programs from Attribute Grammars
DateOctober 1, 1987
TypeInternational Conference
Files
Number35
AuthorMatsumoto Kenichi
TitleError Life Span and Programmer Performance
DateOctober 1, 1987
TypeInternational Conference
Files
Number34
Author井上克郎
Titleガーベジセルの直接回収を行なうＬＩＳＰシステムの試作
DateNovember 25, 1987
TypeDomestic Conference
Files
Number33
Author井上克郎
Title囲碁ルールの代数的記述とその関数型プログラムへの変換
DateNovember 21, 1987
TypeDomestic Conference
Files
Number32
Author大西諭
Title候捕手記述言語’拡張Ｇｏｐａｌ’を用いた囲碁プログラムの試作
DateNovember 13, 1987
TypeDomestic Conference
Files
Number31
Author西良厚正
Titleエキスパートシステム構築支援ツールＸＰＴ（３） −応用事例（??）−
DateSeptember 1, 1987
TypeDomestic Conference
Files
Number30
Author大西諭
Titleある囲碁プログラムにおける候捕手選択について
DateSeptember 1, 1987
TypeDomestic Conference
Files
Number29
Author野村研仁
Title実行時エラーメッセージに基づくデバッグ用エキスパートシステムについて
DateSeptember 1, 1987
TypeDomestic Conference
Files
Number28
Author御井敬
Titleプログラム仕様に用いる自然語の処理システム −システム構成とユーザインターフェイス−
DateSeptember 1, 1987
TypeDomestic Conference
Files
Number27
Author荻原剛志
Titleクラス階層への型導入に関する考察
DateSeptember 1, 1987
TypeDomestic Conference
Files
Number26
Author稲田良造
Title代数的仕様記述法に基づく抽象的順序機械へのシステムコールなどの導入
DateSeptember 1, 1987
TypeDomestic Conference
Files
Number25
Author荻原剛志
Titleオブジェクト指向言語でのデータを共有する多重継承方式の提案
DateAugust 1, 1987
TypeShort Paper/Letter
Files
Number24
AuthorTorii Koji
TitleLogical Programming for the Telegram Analysis Problem
DateJanuary 1, 1987
TypePaper
Files
Number23
Author馮安
Title共通属性をもつ属性文法とそのＰＲＯＬＯＧによる実行系
DateJuly 1, 1987
TypePaper
Files
Number22
Author鳥居宏次（司会）
Title明日のソフトウェア工学
DateJuly, 1987
Type討論会
Files
Number21
Author野村研仁
Title実行時エラーの原因診断エキスパートシステムの試作
DateJune 24, 1987
TypeDomestic Conference
Files
Number20
Author馮安
Title属性文法の実行系における最適化手法
DateMarch 26-29, 1987
TypeDomestic Conference
Files
Number19
Author工藤英男
Titleプログラム設計過程の定量化に関する一考察（その３）
DateMarch 1, 1987
TypeDomestic Conference
Files
Number18
Author馮安
Title属性文法記述言語ＰＡＮＤＡの処理系における最適化
DateFebruary 13, 1987
TypeDomestic Conference
Files
Number17
Author鷲坂光一
Title代数的記述に基づく抽象的順序機械の処理系の作成
DateFebruary 13, 1987
TypeDomestic Conference
Files
Number16
Author石木信之
Titleプログラム仕様に用いる自然語の処理システム −代数的仕様への変換と知識管理−
DateFebruary 13, 1987
TypeDomestic Conference
Files
Number15
Author井上克郎
Title囲碁ルールの代数的記述について
DateFebruary 13, 1987
TypeDomestic Conference
Files
Number14
Author工藤英男
Titleプログラム設計過程の定量化に関する一考察（その２） −複合設計法の採用による効果−
DateOctober 1, 1986
TypeDomestic Conference
Files
Number13
Author鷲坂光一
Title代数的記述に基づく抽象的順序機械の処理系の設計
DateOctober 1, 1986
TypeDomestic Conference
Files
Number12
Author大西諭
Titleソフトウェア開発におけるメトリックス環境
DateOctober 1, 1986
TypeDomestic Conference
Files
Number11
Author馮安
Title属性文法の表記法について −共通属性の導入−
DateOctober 1, 1986
TypeDomestic Conference
Files
Number10
Author松本健一
Titleプログラム作成能力の評価尺度とデータ収集ツール
DateSeptember 24, 1986
TypeDomestic Conference
Files
Number9
Author杉山裕二
Title属性文法に基づく言語ＰＡＮＤＡとＤＣＧへの変換
DateJuly 3, 1986
TypeDomestic Conference
Files
Number8
Author前野芳史
Title属性文法記述からＤＣＧの生成
DateMarch 1, 1986
TypeDomestic Conference
Files
Number7
Author松本健一
Titleソフトウェア信頼性モデルの比較とプログラム作成能力の評価基準について
DateMarch 1, 1986
TypeDomestic Conference
Files
Number6
Author工藤英男
Titleプログラム設計過程の定量化に関する一考察
DateMarch 1, 1986
TypeDomestic Conference
Files
Number5
Author安松一樹
Title抽象的順序機械から関数型プログラムへの変換システム
DateMarch 1, 1986
TypeDomestic Conference
Files
Number4
Author鳥居宏次
TitleLogical Programming for the Telegram Analysis Problem
DateFebruary 6, 1986
TypeDomestic Conference
Files
Number3
Author安松一樹
Title抽象的順序機械からＡＳＬ／Ｆプログラムへの変換システムについて
DateFebruary 6, 1986
TypeDomestic Conference
Files
Number2
Author関浩之
Title関数型言語ＡＳＬ／ＦコンパイラのＵＮＩＸ上での実現
DateMarch 1, 1985
TypeDomestic Conference
Files
Number1
AuthorTorii Koji
TitleFunctional Programming and Logical Programming for the Telegram Analysis Problem
DateJanuary 1, 1984
TypeInternational Conference
Files
«
1…2425…2627
»

Back to the publications page.