関 浩之 | 大阪大学基礎工学情情報工学科
スポンサーリンク
概要
関連著者
-
関 浩之
大阪大学基礎工学情情報工学科
-
関 浩之
奈良先端科学技術大学院大学
-
関 浩之
大阪大学基礎工学部
-
嵩 忠雄
奈良先端科学技術大学院大学 情報科学研究科
-
嵩 忠雄
大阪大学基礎工学部
-
嵩 忠雄
奈良先端科学技術大学院大学
-
石原 靖哲
大阪大学大学院情報科学研究科
-
石原 靖哲
大阪大学基礎工学部
-
中西 隆一
大阪大学基礎工学部情報工学科
-
中西 隆一
和歌山大学システム工学部
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
樋口 昌宏
大阪大学基礎工学部情報工学科
-
藤井 護
大阪大学大学院基礎工学研究科
-
百々 浩樹
奈良先端科学技術大学院大学情報科学研究科
-
藤井 護
大阪大学教養部
-
島袋 潤
(株)日立製作所 システム開発研究所
-
直井 秀暢
大阪大学基礎工学部情報工学科(花王株式会社)
-
片岡 充照
神戸大学工学研究科
-
片岡 充照
松下電器産業(株)パナソニックAVCネットワークス社
-
工藤 朋之
大阪大学基礎工学部
-
工藤 朋之
株式会社日立製作所
-
東野 輝夫
大阪大学基礎工学部情報科学科
-
谷口 健一
大阪大学基礎工学部情報科学科
-
佐野 哲央
大阪大学基礎工学部情報工学科
-
大西 浩之
大阪大学基礎工学部情報工学科
-
安藤 佐知子
大阪大学基礎工学部情報工学科
-
玉井 順子
大阪大学基礎工学部情報工学科
-
八木 鉄也
大阪大学基礎工学部情報工学科
-
島袋 潤
日立製作所
-
島袋 潤
大阪大学基礎工学部情報工学科
-
萩本 和彦
大阪大学基礎工学部情報工学科
-
藤井 護
大阪大学基礎工学部情報工学科
-
谷口 健一
大阪大学基礎工学部情報工学科
-
片岡 充照
パナソニック(株)AVCネットワークス社
著作論文
- 代数的仕様からのドュメント自動生成について
- VAR-CCGの生成能力について
- 語彙機能文法のいくつかの部分クラスに対する一般認識問題の計算量について
- メソッドスキーマにおける型整合性の解析アルゴリズム
- メソッドスキーマの型整合性の十分条件
- 有界到達可能性解析を用いた非有界通信プロトコルの解析法
- 多重文脈自由文法の認識問題について
- 拡張有限状態機械でモデル化したOSIセションプロトコルの検証
- 優先サービスを含む通信プロトコルの安全性の検証
- 多重文脈自由文法の所属問題に対する並列アルゴリズム(計算および計算量理論とその周辺)
- 通信プロトコルの自然語仕様から代数的仕様への変換における文章間の依存関係の解析
- 自然語仕様から代数的仕様への,文脈を考慮した変換 : OSIセション層プロトコル仕様を例にして
- 代数的仕様から関数型プログラムの導出とその実行 (関数型プログラミングとその応用)
- マジックセット法を用いた問合せ処理の停止性について
- マジックセット法を用いた演鐸データベース評価時の停止性について