日本語
English
ログイン
お問合わせ
サイトポリシー
寄附
HOME
探す・調べる
九大コレクション
世界の文献
データベース
所蔵コレクション
九大出版物
電子展示
Cute.Guides
図書館を使う
利用ガイド
学生・教員の方
一般の方
各図書館
中央図書館
理系図書館
医学図書館
芸術工学図書館
筑紫図書館
記録資料館
別府病院図書室
九大コレクション
図書・雑誌
リポジトリ(QIR)
学位論文
貴重資料
麻生家文書
蔵書印画像
炭鉱画像
水素材料DB
所蔵コレクション
この情報を出力する
印刷
メール送信
Mendeley出力
このページのリンク
引用にはこちらのURLをご利用ください
コピー
他の検索サイト
世界の文献
CiNii Research (Articles)
CiNii Books
CiNii Research (Dissertations)
国立国会図書館サーチ
Google
Google Scholar
Google Books
カーリル
利用統計
このページへのアクセス:69回
CLOSE
»
<研究報告書>
Formalizing a coding theory
作成者
作成者名
Saikawa, Takefumi
才川, 隆文
サイカワ, タケフミ
所属機関
所属機関名
名古屋大学
Nagoya University
本文言語
英語
出版者
九州大学マス・フォア・インダストリ研究所
Institute of Mathematics for Industry, Kyushu University
発行日
2015-03-06
収録物名
MI lecture note series
巻
61
開始ページ
115
終了ページ
118
出版タイプ
Version of Record
アクセス権
open access
関連DOI
http://www.imi.kyushu-u.ac.jp/
https://www.math.kyushu-u.ac.jp/
関連URI
http://www.imi.kyushu-u.ac.jp/
https://www.math.kyushu-u.ac.jp/
関連情報
http://www.imi.kyushu-u.ac.jp/
https://www.math.kyushu-u.ac.jp/
本文ファイル
ファイル
ファイルタイプ
サイズ
閲覧回数
説明
p115
pdf
499 KB
135
詳細
PISSN
2188-1200
NCID
AA12653313
レコードID
1520953
査読有無
査読無
ISSN
2188-1200
登録日
2015.07.31
更新日
2023.10.05
この資料を見た人はこんな資料も見ています
1
[061]MIレクチャーノート表紙奥付等 九州大学マス・フォア・インダストリ研究所 2015-03-06
2
SSReflectを用いたペトリネットにおけるKarp-Miller加速の形式化 / 関根, 祥吾 九州大学マス・フォア・インダストリ研究所 2015-03-06
3
Towards Verification of Program Generation / Moriguchi, Sosuke 九州大学マス・フォア・インダストリ研究所 2015-03-06
4
SSReflectによる可変長情報源符号化逆定理の形式化 / 小尾, 良介 九州大学マス・フォア・インダストリ研究所 2015-03-06
5
Formalizing Strong Normalization Proofs / Sakaguchi, Kazuhiko 九州大学マス・フォア・インダストリ研究所 2015-03-06
6
A Name-Free Lambda Calculus / Sato, Masahiko 九州大学マス・フォア・インダストリ研究所 2015-03-06
7
Mizarによる群の直和分解の形式化 / 中正, 和久 九州大学マス・フォア・インダストリ研究所 2015-03-06
8
Formalization of Polynomially Bounded Functions in Mizar / Okazaki, Hiroyuki 九州大学マス・フォア・インダストリ研究所 2015-03-06
9
Coqを使ったデジタルデータ放送におけるストリームデータ処理の形式化と検証 / 今井, 宣洋 九州大学マス・フォア・インダストリ研究所 2015-03-06
10
The Application of VDM (Vienna Development Method) to the Industrial Development of Firmware for a Smart Card IC Chip / Kurita, Taro 九州大学マス・フォア・インダストリ研究所 2015-03-06