プレーンテキスト
サーカムスクリプションに基づく計算法に関する基礎的研究
サーカムスクリプションに基づく計算法に関する基礎的研究
- 著者
- 岩沼宏治 [著]
- 原本の出版年月日
- 1991
- 製作者
- 国立国会図書館
この本を読むには この本を読むには ヘルプページへのリンク
視覚障害者等用データ送信サービスに登録している方はログインしてください。
ログインログインするとテキストデータをダウンロードして読むことができます。
書誌情報
- 資料種別
- 博士論文
- タイトル
- サーカムスクリプションに基づく計算法に関する基礎的研究
- タイトルよみ
- サーカムスクリプション ニ モトズク ケイサンホウ ニ カンスル キソテキ ケンキュウ
- 著者・編者
- 著者標目
- 出版年月日等
- 1991
- 出版年（W3CDTF）
- 1991
- 授与機関名
- 東北大学
- 授与年月日
- 平成3年4月10日
- 報告番号
- 乙第5543号
- 学位
- 工学博士
- 出版地（国名コード）
- JP
- NDLC
- UT51UT31
- 一般注記
- 博士論文
- DOI
- 10.11501/3056606
- 国立国会図書館永続的識別子
- info:ndljp/pid/3056606
- コレクション（共通）
- 障害者向け資料
- コレクション（障害者向け資料：レベル1）
- コレクション（障害者向け資料：レベル2）
- コレクション（個別）
- 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
- 製作者
- 受理日（W3CDTF）
- 2011-12-05T17:43:11+09:00
- 記録形式（IMT）
- image/jp2
- デジタル化資料送信
- 図書館・個人送信対象
- 請求記号
- UT51-91-P483
- 連携機関・データベース
- 国立国会図書館 : 国立国会図書館デジタルコレクション
目次
目次
1章 序章
p1
1.1 研究の背景
p2
1.2 本研究の内容
p12
2章 極小定義式の導出
p17
2.1 はじめに
p18
2.2 2階論理と述語サーカムスクリプション
p19
2.3 点別サーカムスクリプションとその問題点
p23
2.4 述語サーカムスクリプションの簡約
p29
2.5 極小定義式の導出
p32