教育活動

卒業研究（学部）

木下佳樹研究室卒業生の卒業研究要旨アーカイブ(2014-2023年度)

2023年度卒業研究

• 2024-02-14 卒業研究発表会

  • • 古内武士「隠れマルコフモデルによるジャズの楽曲の和声機能に関する考察」

要旨

2022年度卒業研究

• 2023-02-14 卒業研究発表会

  • • 芝田将希「アルファベータ法とその⽴体四⽬並べへの適⽤」

要旨

• • • 浜中宏樹「良い議論の構築⼿法の明確化」

要旨

• • • 兵藤海⾹「証明体系の⽐較と評価」

要旨

2021年度卒業研究

• 2022-02-14 卒業研究発表会

  • • 菊地⻁太朗「式のパーサ，型検査，評価プログラムの実装」

要旨

2020年度卒業研究

• 2021-02-19 卒業研究発表会

  • • 伊藤靖流「命題論理式の真偽値計算のためのデータ構造」

要旨

• • • 川井昭太「式のコンパイラのAgdaによる正当性証明」

要旨

• • • 酒井裕大「チェーンレストランの新型コロナウイルス禍対応について」

要旨

• • • 佐々木 舞雪「システムライフサイクルを用いたコンビニ廃棄問題の考察」

要旨

• • • 曽我部勇貴「対戦ゲーム制作 “choice states”」

要旨

2019年度卒業研究

• 2020-02-13 卒業研究発表会

  • • 南 崇志「自然演繹における証明技法」
      要旨

    • 池田賢哉「構造化IRF モデルに基づくゲーム分析事例」
      要旨

    • 植田哲也 「 型システムの説明と型検査プログラムの実装 」
      要旨

    • 小西川智弥「命令型言語CPP 文法拡張とLL(k)文法判定」
      要旨

    • 鈴木 歩武「等号付き一階述語論理における恒真性の決定不能性」
      要旨

    • 林 晃輔「七並べゲームにおける戦略の優先順位付けを測る測定器の開発」
      要旨

    • 山田拓海「 平塚市地域防災計画の地震災害計画における災害時の避難対策に関する ディペンダビリティ議論 」
      要旨

    • 遊佐清昇 「 平塚市地域防災計画-地震災害対策計画-の給水業務における障害対応に関する ディペンダビリティ議論 」
      要旨

2018年度卒業研究

• 2018-08-06 卒業研究発表会

  • 遠藤佑介「Curry, Uncurry について」
    要旨

  • 大部剛「Haskell による S 式評価電卓の実装」
    要旨

  • 清水美幸「純 Lisp に関する万能関数の正当性証明」
    要旨

  • 原﨑大史「平塚市地域防災計画の整合性検査へのシーケンス図の利用について」
    要旨

• 2019-02-13 卒業研究発表会

  • 青柳大輝「七並べにおける順位の定式化」
    要旨

  • 石井清拓「パズル＆ドラゴンズの分析に向けて」
    要旨

  • 清水逸汰「ライフゲームの性質の定式化」
    要旨

  • 福島駿「ラーメン店事業のシステムライフサイクルプロセス」
    要旨

2017年度卒業研究

• 2017-08-02 卒業研究発表会

  • 岩澤宏樹 「BDD によるブール関数の表現」
    要旨

• 2018-02-14 卒業研究発表会

  • 浮谷麗央，塩川大喜 「パーサーコンビネーターについて〜電卓プログラムを例にして〜」
    要旨

  • 倉澤元汰 「七並べゲームの遷移系による分析」
    要旨

  • 土屋勇登 「あるカードゲームの数理的定式化」
    要旨

  • 藤原翔也 「命題論理の健全性」
    要旨

2016年度卒業研究

• • 2017-02-15 卒業研究発表会

    • 石塚 亮 「命題論理式の同値判定プログラム」
      要旨

    • 髙植祐司 「リスト内包表記を用いた問題解決について」
      要旨

    • 伊達崇晃 「平塚市地域防災計画における原因不明の障害への対応に関するディペンダビリティ議論」
      要旨

    • 樊 豪 「二分探索木基本操作の実装とその正当性検証」
      要旨

    • 日㘴龍成 「パーサーコンビネータを使った式の評価器」
      要旨

    • 保坂誠悟「Haskell による万能 S-関数の実現」
      要旨

2015年度卒業研究

• • 2015-08-25 卒業研究発表会

    • 寺村匡介 「評価による正規化を用いた積和標準形の計算」
      要旨

• 2016-02-16 卒業研究発表会

  • • 大倉友弥 「システムライフサイクルプロセスの遂行責任者の明確化」
      要旨

    • 小野 靖 「プログラムの不動点意味論について」
      要旨

    • 菅野直人 「最弱条件を用いたプログラム開発法」
      要旨

    • 中村太紀 「関数型プログラムの値の導出木」
      要旨

2014年度卒業研究

• • 2014-02-16 卒業研究発表会

    • 芦原智隆 「LEGO MINDSTORMS EV3 制御システム信頼性の評価について」

要旨 発表スライド 論文

• • • 武井皓平  「LEGO MINDSTORMS EV3 制御プログラムのモデル検査について」

要旨 発表スライド 論文

• • • 藤井拓也 「整数及び整数を要素とする配列に関する論理式の正しさについて」

要旨 発表スライド 論文

輪講

2020年度輪講

• プログラミングHaskell（Graham Hutton著、山本和彦訳）輪講。

2019年度輪講

• プログラミングHaskell（Graham Hutton著、山本和彦訳）輪講。

• William Lawvere et.al.: Conceptual Mathematics 輪講。

• Hal Abelson, Jerry Sussman and Julie Sussman: Structures and Implementations of Computer Programs 輪講。

2018年度輪講

• プログラミングHaskell（Graham Hutton著、山本和彦訳）輪講。

• 米田信夫，野下浩平 「ALGOL 60 講義」（共立出版，1978）輪講。

• Hal Abelson, Jerry Sussman and Julie Sussman: Structures and Implementations of Computer Programs 輪講。

2017年度輪講

• プログラミングHaskell（Graham Hutton著、山本和彦訳）輪講。

• John McCarthy "Recursive functions of symbolic expressions and their computations by machine, Part I" 輪講。

• 米田信夫，野下浩平 「ALGOL 60 講義」（共立出版，1978）輪講。

2016年度輪講(4年生)

• John McCarthy (Recursive Functions of Symbolic Expressions and their Computation by Machine (Part 1)) の輪講

• プログラミングHaskell（Graham Hutton著、山本和彦訳）輪講

• 小野寛晰「情報科学における論理」輪講

2015年度輪講(4年生)

• Norell-Chapman (Dependently Typed Programming in Agda) の輪講（始め１０ページ程度）

• プログラミングHaskell（Graham Hutton著、山本和彦訳）輪講。

• マグロウヒル大学演習 離散数学 コンピュータサイエンスの基礎数学（本学科離散数学I,離散数学IIの教科書）輪講

2014年度輪講(4年生)

• 作業ページ（関係者専用）

• 輪講題材： 本橋信義: 新しい論理序説 朝倉書店 1997

Knuth 輪講 自主ゼミ

• • 作業ページ（関係者専用）

情報ゼミナール

2018年度情報ゼミナール

• プログラミングHaskell（Graham Hutton著、山本和彦訳）輪講。

• 米田信夫，野下浩平 「ALGOL 60 講義」（共立出版，1978）輪講。

• Hal Abelson, Jerry Sussman and Julie Sussman: Structures and Implementations of Computer Programs 輪講。

2017年度情報ゼミナール

• プログラミングHaskell（Graham Hutton著、山本和彦訳）輪講。

• John McCarthy "Recursive functions of symbolic expressions and their computations by machine, Part I" 輪講。

• 米田信夫，野下浩平 「ALGOL 60 講義」（共立出版，1978）輪講。

2016年度情報ゼミナール

• プログラミングHaskell（Graham Hutton著、山本和彦訳）輪講。

• 高橋正子「計算論」輪講．

2015年度情報ゼミナール

• プログラミングHaskell（Graham Hutton著、山本和彦訳）輪講。

• マグロウヒル大学演習 離散数学 コンピュータサイエンスの基礎数学（本学科離散数学I,離散数学IIの教科書）輪講

• 高橋正子「計算論」輪講．

2014年度情報ゼミナール

• 作業ページ（関係者専用）

• 野矢秀樹: 新版論理トレーニング（哲学教科書シリーズ） 産業図書 2006 を輪講した。

2013年度情報ゼミナール

卒業研究に向けて、LEGO MINDSTORM EV3 の調査を行った。