計算理論
HapInSアドベントカレンダー2024、23日目！ いつも言語のことを考えているh_shimakawaです。 今回は約１年越しの超大作、ラムダ計算シリーズの最終回です。 単純なラムダ関数を組み合わせて「チューリング完全」の力を実装する、感動のお話です！ はじめに …
こんにちは！ HapInSアドベントカレンダー2023、14日目を担当するh_shimakawaです。 今回も引き続きラムダ計算を続けていきます。 はじめに 難易度 目標 用意するもの リスト構造 リストの基本要素 リストの基本要素を用意しよう 配列操作関数を作ろう 他の…
こんにちは！ HapInSアドベントカレンダー2023、8日目を担当するh_shimakawaです。 今回も引き続きラムダ計算を続けていきます。 はじめに 難易度 目標 用意するもの ひき算の作成準備 PAIR と LEFT、RIGHT の実装 SLIDE DEC の定義 ひき算 わり算の準備 LE …
# 今回のテーマ：ラムダ計算を楽しもう！ HapInSアドベントカレンダー2023、2日目の記事を担当するh_shimakawaです。 私の趣味はプログラミング言語自作です。 その趣味の一環で計算機理論の"ラムダ計算"について調べてみたので連載で紹介しようと思います。…
