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

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

,  

[発表日]1997/11/21
[資料番号]
目次

,  

[発表日]1997/11/21
[資料番号]
[CATALOG]

,  

[発表日]1997/11/21
[資料番号]
否定を表現する新しい枠組 : 等価変換に基づくアプローチ

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

[発表日]1997/11/21
[資料番号]SS97-37
3次元数値計算格子生成に関する研究

椙崎 康平,  川田 重夫,  

[発表日]1997/11/21
[資料番号]SS97-38
WWWを用いた数値シミュレーション・システムの構築

松本 正己,  

[発表日]1997/11/21
[資料番号]SS97-39
通信アプリケーションの変更に応じた状態機械の記述への操作とその再利用について

山本 泰三,  山本 晋一郎,  阿草 清滋,  

[発表日]1997/11/21
[資料番号]SS97-40
Open System のための Generic Interaction Model

石井 直輝,  渡辺 慎哉,  宮本 衛市,  

[発表日]1997/11/21
[資料番号]SS97-41
情報共有のための電子掲示板システム利用法に関する一考察

菱谷 淳,  高橋 光裕,  

[発表日]1997/11/21
[資料番号]SS97-42
オブジェクトの集団的振舞いの動的構成法

井上 澄,  渡辺 慎哉,  宮本 衛市,  

[発表日]1997/11/21
[資料番号]SS97-43
振舞意味論と投影演算に基づく並行システムのノンインターリーブ性の記述および詳細化検証

松本 充広,  二木 厚吉,  

[発表日]1997/11/21
[資料番号]SS97-44
物理数値シミュレーションプログラムの領域分割による並列化支援について

藤井 荘介,  BOONMEE Choompol,  川田 重夫,  

[発表日]1997/11/21
[資料番号]SS97-45
[OTHERS]

,  

[発表日]1997/11/21
[資料番号]