情報・システム-コンピュテーション(開催日:1999/07/21)

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

,  

[発表日]1999/7/21
[資料番号]
目次

,  

[発表日]1999/7/21
[資料番号]
情報セキュリティ実現に関する一考察

小澤 卓也,  西垣 正勝,  曽我 正和,  田窪 昭夫,  

[発表日]1999/7/21
[資料番号]COMP99-22
故障発生の診断が可能な耐故障回路

仲野 聖人,  西垣 正勝,  曽我 正和,  

[発表日]1999/7/21
[資料番号]COMP99-23
一般化詰め将棋問題の計算複雑さ : 小駒図式、成駒無し、還元玉、都詰の考慮

伊藤 大雄,  藤井 愼二,  上原 秀幸,  横山 光雄,  

[発表日]1999/7/21
[資料番号]COMP99-24
上昇型プッシュダウン木オートマトンと文脈自由木文法の関係

山崎 克典,  袖嶋 嘉哉,  

[発表日]1999/7/21
[資料番号]COMP99-25
否定数限定論理回路におけるマージングの複雑さ

天野 一幸,  丸岡 章,  垂井 淳,  

[発表日]1999/7/21
[資料番号]COMP99-26
置換族とその独立性の解析

伊東 利哉,  武井 由智,  垂井 淳,  

[発表日]1999/7/21
[資料番号]COMP99-27
一方向性関数の平均時間計算量解析

相田 慎,  築地 立家,  

[発表日]1999/7/21
[資料番号]COMP99-28
M-pi計算 : モジュール記述を持つ計算体系

塚崎 悟,  金指 文明,  富樫 敦,  

[発表日]1999/7/21
[資料番号]COMP99-29
階層リアクティブシステムの仕様記述

吉山 章,  包 卿,  陸 暁松,  富樫 敦,  

[発表日]1999/7/21
[資料番号]COMP99-30
[OTHERS]

,  

[発表日]1999/7/21
[資料番号]