嵩 忠雄 | 大阪大学基礎工学部
スポンサーリンク
概要
関連著者
-
嵩 忠雄
大阪大学基礎工学部
-
関 浩之
大阪大学基礎工学部
-
関 浩之
奈良先端科学技術大学院大学
-
嵩 忠雄
奈良先端科学技術大学院大学 情報科学研究科
-
関 浩之
大阪大学基礎工学情情報工学科
-
谷口 健一
大阪大学基礎工学部情報科学科
-
谷口 健一
大阪大学基礎工学部情報工学科
-
石原 靖哲
大阪大学大学院情報科学研究科
-
石原 靖哲
大阪大学基礎工学部
-
岩崎 元昭
大阪大学基礎工学部
-
伊藤 実
大阪大学基礎工学部
-
杉山 裕二
大阪大学基礎工学部
-
伊藤 実
大阪大 基礎工
-
中西 隆一
大阪大学基礎工学部情報工学科
-
中西 隆一
和歌山大学システム工学部
-
島袋 潤
(株)日立製作所 システム開発研究所
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
山村 三朗
神戸商船大学
-
松浦 敏雄
大阪大学基礎工学部情報工学科
-
鈴木 一郎
大阪大学基礎工学部
-
嵩 忠雄
大阪大学基礎工学部情報工学科
-
都倉 信樹
大阪大学基礎工学部情報工学科
-
樋口 昌宏
大阪大学基礎工学部情報工学科
-
百々 浩樹
奈良先端科学技術大学院大学情報科学研究科
-
玉井 順子
大阪大学基礎工学部情報工学科
-
八木 鉄也
大阪大学基礎工学部情報工学科
-
島袋 潤
日立製作所
-
島袋 潤
大阪大学基礎工学部情報工学科
-
萩本 和彦
大阪大学基礎工学部情報工学科
-
藤井 護
大阪大学基礎工学部情報工学科
-
奥井 順
大阪大学基礎工学部情報工学科
-
藤井 護
大阪大学大学院基礎工学研究科
著作論文
- 関係データベースにおけるRepresentative Instanceに関する一結果 (形式言語理論とオートマトン理論)
- 多値従属を考慮した関係表現における制約の導出 (数理情報科学の基礎理論と応用)
- 代数的仕様記述における詳細化 : 特に抽象的順序機械の場合 (数理情報科学の基礎理論と応用)
- 公開鍵暗号系の安全性保証の難しさ (計算の複雑性に関する研究)
- セーフペトリネットによる正規集合の記述の簡潔さについて : 有限オートマトンとの比較 (計算機科学の数学的基礎)
- メソッドスキーマの型整合性の十分条件
- 多重文脈自由文法の認識問題について
- 優先サービスを含む通信プロトコルの安全性の検証
- 多重文脈自由文法の所属問題に対する並列アルゴリズム(計算および計算量理論とその周辺)
- 通信プロトコルの自然語仕様から代数的仕様への変換における文章間の依存関係の解析
- 自然語仕様から代数的仕様への,文脈を考慮した変換 : OSIセション層プロトコル仕様を例にして
- 元副会長 田中幸吉先生を偲ぶ
- Analysis of a Disk Operating System (プログラムの基礎理論)