鴛海 太一
lambda-sun vol.1 / 技術書典 6
lambda-sun vol. 1 λ計算の入門について書きました。 λ式だけで再帰関数を書くには? λ計算の計算可能性は? プログラマがλ計算を学ぶ意義とは?
400万人が利用する会社訪問アプリ
ウォンテッドリー株式会社 / Engineering Manager
いろんなものを設計するが好き ウォンテッドリーでバックエンドエンジニアリングマネージャーと内部品質を改善していくチームのリーダーをしています。 その前はグロースチームのプロジェクトマネージャ、バックエンドエンジニア、データエンジニアをやっていました。
組織課題を解決していきたい。
鴛海 太一さん
のプロフィールをすべて閲覧
過去の投稿を確認する
共通の知り合いを確認する
鴛海 太一さんのプロフィールをすべて見る
lambda-sun vol. 1 λ計算の入門について書きました。 λ式だけで再帰関数を書くには? λ計算の計算可能性は? プログラマがλ計算を学ぶ意義とは?