Automated Lemma Generation and Multi-Context Schemes for Rewriting Induction

国立国会図書館永続的識別子: info:ndljp/pid/11288073

資料種別: 博士論文

著者: 季, 承成

出版者: Hokkaido University

出版年: 2019-03-25

資料形態: デジタル

ページ数・大きさ等: -

授与大学名・学位: 北海道大学,博士(情報科学)

すべて見る

国立国会図書館での利用に関する注記

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertationsから、本文を自由に閲覧できる場合があります。

資料に関する注記

一般注記：: (主査) 教授栗原正仁, 教授山本雅人, 教授川村秀憲, 教授小野哲雄, 准教授小山聡情報科学研究科(情報理工学専攻)

書店で探す

障害者向け資料で読む

障害者向け資料を見る（1種類）

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

北海道大学学術成果コレクション
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
北海道大学学術成果コレクションのサイトでこの本を確認

書店で探す

障害者向け資料で読む

他サービス
- テキストデータ国立国会図書館デジタルコレクションで確認する

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

デジタル

資料種別: 博士論文
タイトル: Automated Lemma Generation and Multi-Context Schemes for Rewriting Induction
著者・編者: 季, 承成
著者標目: 季, 承成
出版事項: Hokkaido University
出版年月日等: 2019-03-25
出版年（W3CDTF）: 2019-03-25
並列タイトル等: 書換え帰納法のための補題自動生成と多重文脈スキーム
寄与者: 栗原, 正仁
山本, 雅人
川村, 秀憲
小野, 哲雄
小山, 聡
授与機関名: 北海道大学
授与年月日: 2019-03-25
授与年月日（W3CDTF）: 2019-03-25
報告番号: 甲第13509号
学位: 博士(情報科学)
博論授与番号: 甲第13509号
本文の言語コード: eng
NDC: 500
対象利用者: 一般
一般注記: (主査) 教授栗原正仁, 教授山本雅人, 教授川村秀憲, 教授小野哲雄, 准教授小山聡
情報科学研究科(情報理工学専攻)
DOI: 10.14943/doctoral.k13509
https://doi.org/10.14943/doctoral.k13509
国立国会図書館永続的識別子: info:ndljp/pid/11288073
https://dl.ndl.go.jp/pid/11288073
コレクション（共通）: 障害者向け資料
コレクション（障害者向け資料：レベル1）: テキストデータ
コレクション（個別）: 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
https://dl.ndl.go.jp/collections/A00014
収集根拠: 博士論文（自動収集）
受理日（W3CDTF）: 2019-06-03T12:31:31+09:00
作成日（W3CDTF）: 2018-12
記録形式（IMT）: PDF
オンライン閲覧公開範囲: 国立国会図書館内限定公開
デジタル化資料送信: 図書館・個人送信対象外
遠隔複写可否（NDL）: 可
掲載誌（URI）: http://dx.doi.org/10.14943/doctoral.k13509
http://hdl.handle.net/2115/74065
参照（URI）: http://hdl.handle.net/2115/74061
連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp