情報・システム-ソフトウェアサイエンス(開催日:1995/07/14)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]1995/7/14
[資料番号]
目次

,  

[発表日]1995/7/14
[資料番号]
データフローネットワークを基礎にしたプログラミング言語の開発

林 雄二,  

[発表日]1995/7/14
[資料番号]
輪送情報(乗車人員)の視覚化について

辻巻 伸,  有澤 誠,  

[発表日]1995/7/14
[資料番号]
クロスプラットフォーム・リアルタイム3Dグラフィックスライブラリの開発

山川 総司,  富田 修平,  芳賀 正謙,  有澤 誠,  

[発表日]1995/7/14
[資料番号]
オブジェクト指向プログラムに対するクラス集合型検査の健全性

大久保 弘崇,  板部 俊樹,  稲垣 康善,  

[発表日]1995/7/14
[資料番号]
等価変換に基づく問題解決

赤間 清,  

[発表日]1995/7/14
[資料番号]
プログラム変換に基づく知識処理における区間オブジェクトの導入とその効果

畑山 満美子,  赤間 清,  宮本 衛市,  

[発表日]1995/7/14
[資料番号]
否定を含む宣言的プログラムのプログラム変換

岡田 浩一,  赤間 清,  宮本 衛市,  

[発表日]1995/7/14
[資料番号]
関数型戦略 : 左非整合な項書換え系の拡張

酒井 正彦,  

[発表日]1995/7/14
[資料番号]
全ての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定プログラム

森岡 澄夫,  東野 輝夫,  谷口 健一,  

[発表日]1995/7/14
[資料番号]
プレスブルガー算術を用いたInfeasible Path検出の高速化技法

直井 邦彰,  高橋 直久,  

[発表日]1995/7/14
[資料番号]
[OTHERS]

,  

[発表日]1995/7/14
[資料番号]