平石 裕実 | 京都大学工学部情報工学教室

スポンサーリンク

概要

• 同名の論文著者
• 京都大学工学部情報工学教室の論文著者

関連著者

• 平石 裕実

  京都大学工学部情報工学教室

• 平石 裕実

  京都産業大学

• 矢島 脩三

  京都大学工学研究科情報工学専攻

• 矢島 脩三

  京都大学工学部情報工学教室

• 濱口 清治

  大阪大学大学院基礎工学研究科

• 藤井 寛

  Ntt情報通信処理研究所基本アーキテクチャ研究部

• 藤井 寛

  京都大学工学部情報工学教室

• 濱口 清治

  京都大学工学部

• 浜口 清治

  京都大学工学部情報工学教室

• 三島 脩三

  京都大学工学部情報工学教室

• 矢島 脩三

  京都大学大学院工学研究科情報工学教室

• 荻野 博幸

  ニコン

• 荻野 博幸

  京都大学工学部

• 平石 裕実

  京都産業大学工学部情報通信工学科

• 浜口 清治

  京都大学大学院工学研究科情報工学専攻

• 松本 忍

  京都大学工学部情報工学教室

• 平田 博章

  京都大学工学部情報工学教室

• 平田 博章

  京都大学工学部

• 津森 靖

  京都大学工学部情報工学教室

• 青木 豊

  京都大学工学部情報工学科

もっと見る 閉じる

著作論文

• 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
• 正則時相論理のモデルチェック法の改良と設計検証への適用
• 時相論理と言語階層の対応関係について(計算および計算量理論とその周辺)
• 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
• 正則時相論理の充足可能性判定アルゴリズム
• マルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)の論理シンボル入力/編集
• マルチコンピュータ・マルチスクリーン・グラフィクスワークステーションの開発
• テレビ走査型計算機グラフィック表示装置を利用した図形編集システムGEST
• 正則集合と表現等価な正則時相論理RTL
• 正則集合に表現等価なテンポラル・ロジック(アルゴリズムの数学的基礎理論とその応用)

スポンサーリンク