情報・システム-ソフトウェアサイエンス(開催日：2005/06/17)

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

,  

[発表日]2005/6/17
[資料番号]
目次

,  

[発表日]2005/6/17
[資料番号]
XMLアクセス制御における木オートマトンを用いた静的解析

八木 勲,  高田 喜朗,  関 浩之,  

[発表日]2005/6/17
[資料番号]SS2005-18
オントロジーを用いたソフトウェア設計法の一検討

吉田 寛,  井上 貴司,  松雪 康巳,  山村 哲哉,  

[発表日]2005/6/17
[資料番号]SS2005-19
システムの内部状態を導入した信用管理モデル

毛利 寿志,  高田 喜朗,  関 浩之,  

[発表日]2005/6/17
[資料番号]SS2005-20
強計算性に基づいた単純型項書換え系の停止性証明法

草刈 圭一朗,  櫻井 敬大,  西田 直樹,  酒井 正彦,  坂部 俊樹,  

[発表日]2005/6/17
[資料番号]SS2005-21
難読プログラミング言語Malbolgeにおけるプログラム構成手法

飯澤 恒,  坂部 俊樹,  酒井 正彦,  草刈 圭一朗,  西田 直樹,  

[発表日]2005/6/17
[資料番号]SS2005-22
ナローイング計算の停止性証明のための依存グラフ法

三浦 浩一,  西田 直樹,  酒井 正彦,  草刈 圭一朗,  坂部 俊樹,  

[発表日]2005/6/17
[資料番号]SS2005-23
複写される方へ

,  

[発表日]2005/6/17
[資料番号]
Notice about photocopying

,  

[発表日]2005/6/17
[資料番号]
奥付

,  

[発表日]2005/6/17
[資料番号]