計算理論
こんにちは! HapInSアドベントカレンダー2023、14日目を担当するh_shimakawaです。 今回も引き続きラムダ計算を続けていきます。 はじめに 難易度 目標 用意するもの リスト構造 リストの基本要素 リストの基本要素を用意しよう 配列操作関数を作ろう 他の…
こんにちは! HapInSアドベントカレンダー2023、8日目を担当するh_shimakawaです。 今回も引き続きラムダ計算を続けていきます。 はじめに 難易度 目標 用意するもの ひき算の作成準備 PAIR と LEFT、RIGHT の実装 SLIDE DEC の定義 ひき算 わり算の準備 LE …
# 今回のテーマ:ラムダ計算を楽しもう! HapInSアドベントカレンダー2023、2日目の記事を担当するh_shimakawaです。 私の趣味はプログラミング言語自作です。 その趣味の一環で計算機理論の"ラムダ計算"について調べてみたので連載で紹介しようと思います。…