順序機械型プログラムの階層的設計と分散実行プログラム群への変換

• 資料種別: 博士論文
• タイトル: 順序機械型プログラムの階層的設計と分散実行プログラム群への変換
• タイトルよみ: ジュンジョ キカイガタ プログラム ノ カイソウテキ セッケイ ト ブンサン ジッコウ プログラムグン エ ノ ヘンカン
• 著者・編者: 岡野浩三 [著]
• 著者標目: 岡野, 浩三 オカノ, コウゾウ ( 00971252 )典拠
• 授与機関名: 大阪大学
• 授与年月日: 平成7年3月23日
• 授与年月日（W3CDTF）: 1995
• 報告番号: 乙第6605号
• 学位: 博士 (工学)
• 学位論文注記: 博士論文
• 出版地（国名コード）: JP
• NDLC: UT51
• 一般注記: 博士論文
• 所蔵機関: 国立国会図書館
• 請求記号: UT51-95-G499
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000000283149; http://id.ndl.go.jp/bib/000000283149
• 整理区分コード: 213

• DOI: 10.11501/3100718; https://doi.org/10.11501/3100718
• 国立国会図書館永続的識別子: info:ndljp/pid/3100718; https://dl.ndl.go.jp/pid/3100718
• コレクション（共通）: 障害者向け資料
• コレクション（障害者向け資料：レベル1）: テキストデータ
• コレクション（障害者向け資料：レベル2）: プレーンテキスト
• コレクション（個別）: 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• 製作者: 国立国会図書館
• 受理日（W3CDTF）: 2011-12-05T15:52:53+09:00
• 記録形式（IMT）: image/jp2
• オンライン閲覧公開範囲: 国立国会図書館内限定公開
• デジタル化資料送信: 図書館・個人送信対象外
• 遠隔複写可否（NDL）: 可
• 請求記号: UT51-95-G499
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

目次

目次

1 緒論

2 諸準備

2.1 順序機械型モデル

2.2 代数的言語ASL