HapInS Developers Blog

HapInSが提供するエンジニアリングの情報サイト

2024-12-23から1日間の記事一覧

第4回 ラムダ計算でチューリングマシンを実装!

HapInSアドベントカレンダー2024、23日目! いつも言語のことを考えているh_shimakawaです。 今回は約1年越しの超大作、ラムダ計算シリーズの最終回です。 単純なラムダ関数を組み合わせて「チューリング完全」の力を実装する、感動のお話です! はじめに …