安本 慶一 | 大阪大学基礎工学部情報工学科

スポンサーリンク

概要

• 安本 慶一の詳細を見る
• 同名の論文著者
• 大阪大学基礎工学部情報工学科の論文著者

関連著者

• 東野 輝夫

  大阪大学基礎工学部情報科学科

• 谷口 健一

  大阪大学基礎工学部情報科学科

• 東野 輝夫

  大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest

• 安本 慶一

  大阪大学基礎工学部情報工学科

• 谷口 健一

  大阪大学基礎工学部情報工学科

• 中田 明夫

  大阪大学基礎工学研究科情報数理系

• 松浦 敏雄

  大阪市立大学大学院創造都市研究科

• 北道 淳司

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

• 松浦 敏雄

  大阪大学基礎工学部情報工学科

• 北道 淳司

  大阪大学基礎工学部情報工学科

• 李 湘東

  大阪大学基礎工学部情報工学科

• 黄 莉

  大阪大学基礎工学部情報工学科

• 由雄 宏明

  大阪大学基礎工学部情報工学科

• 塩屋 佳美

  大阪大学基礎工学部情報工学科

もっと見る 閉じる

著作論文

• LOTOSで記述されたプロトコルの実行の可視化
• イベントとアニメーション表示の対応付けによるLOTOSプログラムの実行の可視化
• LOTOSによるソフトウェアプロセスの記述とその実行
• マルチスレッド化されたオブジェクトコードを生成するLOTOSコンパイラの試作
• LOTOS風言語で書かれた同期式順序回路の要求仕様記述と回路自動合成
• 整数データを含むLOTOS仕様の等価性の証明について
• LOTOSによる分散システムの全体記述と各ノードの動作記述 : 等価性と変換アルゴリズムについて(理論計算機科学とその周辺)

スポンサーリンク