卒業論文・修士論文
修士論文
- 趙 順, フラット右線形項書き換えシステムの簡約に関する一意正規形性の決定不能性, 修士論文, 新潟大学, 2023年3月
- 冨田 也斗, 関数型プログラムから論理制約付き条件付き項書き換えシステムへの変換に関する研究, 修士論文, 新潟大学, 2023年3月
- 長橋 謙, 合流性に基づく交差式条件付き項書き換えシステムのアンラベリング変換の健全性条件, 修士論文, 新潟大学, 2023年3月
- 望月 美希, 正則項書き換えにおける書き換えステップの決定可能性に関する研究, 修士論文, 新潟大学, 2023年3月
- 渡邉 廉, 永続性を利用した項書き換えシステムの一意正規形性の検証に関する研究, 修士論文, 新潟大学, 2023年3月
- 大野 峻, 交差式条件付き項書き換えシステムに対するアンラベリング変換の健全性に関する研究, 修士論文, 新潟大学, 2022年3月
- 芳賀 雅樹, 置換に関する不動点制約を用いた名目書き換え, 修士論文, 新潟大学, 2022年3月
- 芳賀 亮太, 危険対条件に基づく条件付き項書き換えシステムの階層可換性, 修士論文, 新潟大学, 2022年3月
- 南山 駿人, 書き換え帰納法による帰納的定理証明と循環余帰納法による余帰納的定理証明の融合, 修士論文, 新潟大学, 2022年3月
- 笹川 葵生, 外部変数のある可換式条件付き項書き換えシステムの合流性条件, 修士論文, 新潟大学, 2021年3月
- 佐藤 悠稀, フラット項書き換えシステムにおける正規形の一意性に関する性質の決定不能性, 修士論文, 新潟大学, 2021年3月
- 西野 浩平, 演奏データからの時系列変化を考慮したテンポ推定, 修士論文, 新潟大学, 2021年3月
- 宮前 海里,圏論にもとづく正則項上の単一化に関する研究, 修士論文, 新潟大学, 2021年3月
- 石塚 守, 交換律による正則項書き換えにおける有限オートマトンの構成法とその応用, 修士論文, 新潟大学, 2020年3月
- 加賀谷 有輝, 条件付き項書き換えシステムの階層合流性証明法, 修士論文, 新潟大学, 2020年3月
- 白石 智輝, 項書き換えシステムにおける局所十分完全性の証明法, 修士論文, 新潟大学, 2020年3月
- 山口 諒, 決定手続きと書き換え帰納法を融合した帰納的定理の自動証明, 修士論文, 新潟大学, 2020年3月
- 東和田 直輝, 条件付き項書き換えシステムの十分完全性の自動証明, 修士論文, 新潟大学, 2020年3月
- 加藤 裕人, 書き換え帰納法を利用した帰納的定理証明の補題生成法, 修士論文, 新潟大学, 2019年3月
- 木村 優太, 対話的定理証明器 Isabelle/HOL 上での書き換え帰納法の形式化, 修士論文, 新潟大学, 2019年3月
- 栗田 泰智, 条件付き項書き換えシステムにおけるホーン節帰納的定理の自動証明, 修士論文, 新潟大学, 2019年3月
- 新山 広夢, 項書き換えシステムの一意正規化性自動検証に関する研究, 修士論文, 新潟大学, 2019年3月
- 萩原 崇央, 順序極大完備化に関する研究, 修士論文, 新潟大学, 2019年3月
卒業論文
- 伊井 亮祐, 重なりのある正則項書き換えシステムの合流性条件, 卒業論文, 新潟大学, 2023年3月
- 小口 太志, 項書き換えシステムの基底弱停止性の検証手続き, 卒業論文, 新潟大学, 2023年3月
- 嶋貫 凌, 帰納的定理に対する無限の導出木を持つ証明体系の提案と健全性の証明, 卒業論文, 新潟大学, 2023年3月
- 高畑 幹汰, 左線形論理制約付き項書き換えシステムの合流性条件, 卒業論文, 新潟大学, 2023年3月
- 長岡 拓弥, 正則項書き換えシステムに対する非合流性検証法, 卒業論文, 新潟大学, 2023年3月
- 中村 翔平, 論理制約付き項書き換えシステムに対する重み付き経路順序の提案, 卒業論文, 新潟大学, 2023年3月
- 本間 一穂, トップダウン木変換器を用いた正則項の変換に関する研究, 卒業論文, 新潟大学, 2023年3月
- 井出 政宏, 項書き換えシステムにおける文脈移動法を利用した末尾再帰形への自動変換, 卒業論文, 新潟大学, 2022年3月
- 笠鳥 謙太, ホーン節書き換え帰納法における新しい導出規則の検討, 卒業論文, 新潟大学, 2022年3月
- 齋藤 寛務, Zプロパティを用いた項書き換えシステムの合流性検証, 卒業論文, 新潟大学, 2022年3月
- 櫻井 爽一, 十分完全性の自動検証手続きの提案と検証ツールの実装, 卒業論文, 新潟大学, 2022年3月
- 渋谷 聡志, べき等性をもつACh理論の単一化問題に関する研究, 卒業論文, 新潟大学, 2022年3月
- 東 幸輝, ルールラベリングによる項書き換えシステムの可換性検証, 卒業論文, 新潟大学, 2022年3月
- 趙 順, 閉名目書き換えの並列簡約に関する研究, 卒業論文, 新潟大学, 2021年3月
- 冨田 也斗, 合流性検証ツールACPのSML♯コンパイラを用いた実装に関する研究, 卒業論文, 新潟大学, 2021年3月
- 長橋 謙, 項書き換えシステムにもとづくジャグリング列の正しさの形式化に関する研究, 卒業論文, 新潟大学, 2021年3月
- 深谷 智輝, ホーン節帰納的定理自動証明システムの実装と実験, 卒業論文, 新潟大学, 2021年3月
- 望月 美希, 正則項書き換えシステムによる簡約手続きに関する研究, 卒業論文, 新潟大学, 2021年3月
- 渡邉 廉, 項書き換えシステムの正規形性の自動検証法に関する研究, 卒業論文, 新潟大学, 2021年3月
- 大野 峻, 交差式条件付き項書き換えシステムの合流性自動検証, 卒業論文, 新潟大学, 2020年3月
- 岡本 巧矢, 簡約に関する一意正規形性の自動証明の研究, 卒業論文, 新潟大学, 2020年3月
- 風間 才蔵, ホーン節帰納的定理の自動証明に関する研究, 卒業論文, 新潟大学, 2020年3月
- 小池 伸之輔, ウェブインターフェースによるACPの利便性向上に関する研究, 卒業論文, 新潟大学, 2020年3月
- 芳賀 雅樹, 等式論理における帰納的定理の循環証明, 卒業論文, 新潟大学, 2020年3月
- 芳賀 亮太, 条件付き項書き換えシステムの論理性自動検証に関する研究, 卒業論文, 新潟大学, 2020年3月
- 南山 駿人, 条件付き項書き換えシステムの基底合流性自動証明, 卒業論文, 新潟大学, 2020年3月
- 笹川 葵生, 適応的項書き換えシステムのアンカリー化変換の研究, 卒業論文, 新潟大学, 2019年3月
- 清水 秀人, FC単一化に基づく高階項書き換えシステムの合流性検証, 卒業論文, 新潟大学, 2019年3月
- 西野 浩平, S式書き換えシステムに対する重み付き経路順序, 卒業論文, 新潟大学, 2019年3月
- 山口 真央生, シャロー項書き換えシステムに対するUN性の効率的な決定手続き, 卒業論文, 新潟大学, 2019年3月
- 佐藤 悠稀, ACを法とした合流性の自動検証, 卒業論文, 新潟大学, 2019年3月
- 石塚 守, 有理項のC単一化の研究, 卒業論文, 新潟大学, 2018年3月
- 泉田 浩輔, 条件付き危険対の交差性の自動証明に関する研究, 卒業論文, 新潟大学, 2018年3月
- 加賀谷 有輝, 順序書き換えを用いた項書き換えシステムの合流性自動検証, 卒業論文, 新潟大学, 2018年3月
- 白石 智輝, 項書き換えシステムの十分完全性の自動証明に関する研究, 卒業論文, 新潟大学, 2018年3月
- 山口 諒, 決定手続きを利用した帰納的定理の自動証明の研究, 卒業論文, 新潟大学, 2018年3月
- 瀬木 一迅, 条件付き危険対の非実効性の自動証明に関する研究, 卒業論文, 新潟大学, 2018年3月
- 加藤 裕人, 帰納的定理証明における補題生成法の研究, 卒業論文, 新潟大学, 2017年3月
- 木村 優太, 基底合流性の自動証明に関する研究, 卒業論文, 新潟大学, 2017年3月
- 栗田 泰智, 条件付き項書き換えシステムの帰納的定理証明に関する研究, 卒業論文, 新潟大学, 2017年3月
- 新山 広夢, SML プログラムから項書き換えシステムへの変換に関する研究, 卒業論文, 新潟大学, 2017年3月
- 萩原 崇央, 極大完備化に基づく等式定理の自動証明に関する研究, 卒業論文, 新潟大学, 2017年3月