自作ラムダ計算インタプリタで階乗を計算する
· 13 min read
この記事は、CAMPHOR- Advent Calendar 2021 の 15 日目の記事です。
ラムダ計算とは、関数定義と関数の適用からなるプログラミング言語で、チューリング完全な計算モデルです。以前ラムダ計算のインタプリタを OCaml で実装しました。この記事ではそのインタプリタで n の階乗を求めるまでの道のりを書きます。
この記事は、CAMPHOR- Advent Calendar 2021 の 15 日目の記事です。
ラムダ計算とは、関数定義と関数の適用からなるプログラミング言語で、チューリング完全な計算モデルです。以前ラムダ計算のインタプリタを OCaml で実装しました。この記事ではそのインタプリタで n の階乗を求めるまでの道のりを書きます。
この記事は、CAMPHOR- Advent Calendar 2020 の 10 日目の記事です。
こんにちは、あたらんです。大学では情報学を学んでいます。
5 月から 9 月まで、札幌 ToGo という札幌でテイクアウトを予約してオンライン決済できるサービスを運営していました。4 月に高校の友人に誘われて開発に参加しました。営業していたレストランの関係から 5 月の初めにリリースすることが決まっていましたが、僕が参加したときは要件や仕様すらしっかり決まっておらず、なかなかに炎上プロジェクトでした。が、ビジネスとして 0 からサービスを開発したことがなかったこともあって、「やりきったらインターンの選考とかでアピールできそう」という軽い気持ちで参加することにしました。