BOOTH
ログイン
BOOTHとは
作品を出品しよう
技術書典6
lambda-sunlambda-sun

lambda-sun vol.1

  • ダウンロード商品
    ¥ 100

「ギフトとして贈る」とは

lambda-sun vol.1

lambda-sun vol. 1 λ計算の入門について書きました。 λ式だけで再帰関数を書くには? λ計算の計算可能性は? プログラマがλ計算を学ぶ意義とは?

lambda-sun
FANBOX開設中
  • 技術書典7
    技術書
    lambda-sun vol.2
    lambda-sun
    lambda-sun
    ¥ 300

このショップをフォローしている人の間で、こんなショップがフォローされています!

この作品に興味がある人の間で、こんな作品が注目を集めています!

  • 技術書典7
    技術書
    数理論理学とラムダ計算の世界(PDF版)
    nikosai
    nikosai
    ¥ 500
  • 技術書典6
    技術書
    3つのLisp 3つの世界 (電子版)
    paren-holic
    paren-holic
    ¥ 1,000
  • 技術書
    せつラボ 〜圏論の基本〜
    galaxy-sixth-sensey
    galaxy-sixth-sensey
    ¥ 1,000
  • 技術書典6
    技術書
    俺々言語にだって型推論が欲しい!
    趣味はデバッグ……
    趣味はデバッグ……
    ¥ 500
  • 技術書典6
    技術書
    Survival Common Lisp - 現代Lisperたちの生存プログラミング術
    clfreaks
    clfreaks
    ¥ 800
  • 技術書
    矢澤にこ先輩といっしょににモナドモナド!
    galaxy-sixth-sensey
    galaxy-sixth-sensey
    ¥ 100
  • 技術書典6
    技術書
    OSGirls(電子版)
    hikalium
    hikalium
    ¥ 500
  • 技術書典8
    技術書
    ドメイン駆動設計 モデリング/実装ガイド
    little-hands
    little-hands
    ¥ 1,980~
  • C91
    その他書籍
    わかる!ドメイン駆動設計 ~もちこちゃんの大冒険~【C91新刊】
    TechBooster
    TechBooster
    ¥ 1,000~
  • その他書籍
    英辞郎 Ver.144.8(2015年3月20日版)のテキストデータ
    EDP
    EDP
    ¥ 495
  • その他書籍
    コンパイラを作って遊ぼう
    nomaddo
    nomaddo
    ¥ 500
  • 技術書典4
    技術書
    言語処理系のススメ - 進捗大陸03
    進捗大陸
    進捗大陸
    ¥ 500
  • 技術書典4
    技術書
    手続き Haskell
    趣味はデバッグ……
    趣味はデバッグ……
    ¥ 500
  • 技術書典9
    漫画・マンガ
    #マンガでわかるDocker ① 〜概念・基本コマンド編〜 【ダウンロード版】 #技術書典
    湊川あいの、わかば家。 #技術書典 #わかばちゃんと学ぶ シリーズ
    湊川あいの、わかば家。 #技術書典 #わかばちゃんと学ぶ シリーズ
    ¥ 700
  • 技術書典5
    技術書
    進捗大陸04
    進捗大陸
    進捗大陸
    ¥ 500
  • 技術書典5
    技術書
    LSIからわかる自作CPU【電子版】
    poyopoyo reconfigurable
    poyopoyo reconfigurable
    ¥ 500
  • 技術書典3
    技術書
    進捗大陸02
    進捗大陸
    進捗大陸
    ¥ 300
  • 技術書典13
    技術書
    矢澤にこ先輩といっしょに代数!
    galaxy-sixth-sensey
    galaxy-sixth-sensey
    ¥ 1,000
  • 技書博
    技術書
    Radare2で学ぶバイナリ解析入門
    味噌とんトロ定食
    味噌とんトロ定食
    ¥ 500~
  • 技術書典7
    技術書
    【ダウンロード版】DNSをはじめよう ~基礎からトラブルシューティングまで~ 改訂第2版
    mochikoAsTech
    mochikoAsTech
    ¥ 1,000

「数学」の人気作品

  • その他書籍
    応用からの中高数学再入門--中高数学駆け込み寺
    phasetr
    phasetr
    ¥ 800
  • 技術書典5
    その他書籍
    【電子版のみ】代数的数を作る 多項式の根と因数分解のアルゴリズム
    だめぽラボ
    だめぽラボ
    ¥ 1,000
  • その他書籍
    [部誌・PDF版] 2018京大作問サークル問題集(部誌)
    京都大学数学作問サークル
    京都大学数学作問サークル
    ¥ 500
  • C96
    技術書
    位相空間論への入門 (The Math Relish Journal Volume 1: An Introduction to Topology)
    Math Relish 物販部
    Math Relish 物販部
    ¥ 1,000~
  • グラス・タンブラー・マグカップ
    統計マグカップ
    とんびのお宿
    とんびのお宿
    ¥ 1,850
  • その他書籍
    「 風景のある図鑑 II 」
    room-mary
    room-mary
    ¥ 1,200
  • 技術書典8
    技術書
    【第2版】高校数学の演習から理解する、 機械学習アルゴリズム(電子書籍)
    lib-arts
    lib-arts
    ¥ 1,200
  • 下敷き
    円周率 下敷き
     mocchi’s workshop
    mocchi’s workshop
    ¥ 2,500
  • 技書博
    技術書
    やさしい数学入門(高校卒業レベル+α相当まで)
    lib-arts
    lib-arts
    ¥ 1,200
  • 技書博
    その他書籍
    【執筆中のため割引】日常生活で使う数学
    lib-arts
    lib-arts
    ¥ 500
  • 技書博
    技術書
    【セール中】【電子書籍、102ページ】数学基本演習(高校レベル)
    lib-arts
    lib-arts
    ¥ 500
  • C97
    漫画・マンガ
    数学がいろん【電子書籍・ダウンロード版】
    きいねくの数学倉庫
    きいねくの数学倉庫
    ¥ 500
  • 技術書
    パパママのためのプラレール線形幾何学
    空転ワークス
    空転ワークス
    ¥ 500
  • 技術書
    パパママのための積層線形学
    空転ワークス
    空転ワークス
    ¥ 500
  • C97
    技術書
    パパママのためのプラレール複線線形学
    空転ワークス
    空転ワークス
    ¥ 500
  • 技術書
    実例で分かる!パパママのためのプラレールレイアウト講座1
    空転ワークス
    空転ワークス
    ¥ 1,000
  • 技術書
    Pythonコードを交えて学ぶ関数解析
    noppoman
    noppoman
    ¥ 500
  • その他書籍
    [理系・PDF版]2020京大作問サークル模試セット
    京都大学数学作問サークル
    京都大学数学作問サークル
    ¥ 1,290
  • 技術書典15
    技術書
    理学博士のリアル講義資料 要点 微分積分学の基礎Ⅰ
    たいやきおさかな
    たいやきおさかな
    ¥ 500~
  • 技術書
    MathLight VOL1 【電子書籍・ダウンロード版】
    きいねくの数学倉庫
    きいねくの数学倉庫
    ¥ 1,000
「数学」の人気作品
もっと見る

「技術書典」の人気作品

  • 技術書典3
    その他書籍
    すいーとみゅーじっく vol.1 TDDってなんだ?
    ふぃーるどのーつ
    ふぃーるどのーつ
    ¥ 500~
  • 技術書典4
    技術書
    知らないと損するCSS
    neko-note
    neko-note
    ¥ 500
  • 技術書典4
    技術書
    テストで作ろう初めてのAzureアプリ
    Fluorite(ほしまど)
    Fluorite(ほしまど)
    ¥ 1,000
  • 技術書典7
    技術書
    【書籍版】DNSをはじめよう ~基礎からトラブルシューティングまで~ 改訂第2版
    mochikoAsTech
    mochikoAsTech
    ¥ 1,000
  • 技術書典6
    技術書
    自分でつくるゲームボーイのカートリッジ
    niccolli
    niccolli
    ¥ 300
  • 技術書典5
    技術書
    ファイル処理スクリプトをJavaScript/TypeScriptでTDD する~Sinon.js でAPI のスタブ作成~
    Fluorite(ほしまど)
    Fluorite(ほしまど)
    ¥ 300
  • 技術書典11
    技術書
    [教えあいSlack付き]秒速DEEP LEARNING -Colaboratoryで入門〜応用ひとっ飛び-
    tomo-makes
    tomo-makes
    ¥ 1,000
  • 技術書典5
    技術書
    [電子書籍版] ほぼ初期装備で解くCTF
    electric-sheep
    electric-sheep
    ¥ 800
  • 技術書典5
    技術書
    【ダウンロード版】ごった煮技術書
    404 BOOTH
    404 BOOTH
    ¥ 500
  • 技術書典6
    技術書
    48時間ゲーム開発備忘録
    ながらえん/NagaraEn(旧ながら工房)
    ながらえん/NagaraEn(旧ながら工房)
    ¥ 1,000
  • 技術書典7
    技術書
    ほんのり詳しいUEFI BIOS(PDF版)
    電脳律速
    電脳律速
    ¥ 700
  • 技術書典10
    技術書
    理論と事例でわかる自己肯定感
    教育心理学を学ぶ会
    教育心理学を学ぶ会
    ¥ 1,000
  • 技術書典7
    技術書
    スターティングgRPC
    白熊出版会
    白熊出版会
    ¥ 500~
  • 技術書典7
    技術書
    Node.js中級者を目指す
    このすみ堂
    このすみ堂
    ¥ 500~
  • 技術書典7
    技術書
    【DL販売】よくわかるgRPC
    castaneai
    castaneai
    ¥ 1,000
  • 技術書典7
    技術書
    超初心者向け実用LINUXコマンド集
    pomepons
    pomepons
    ¥ 700
  • 技術書典7
    技術書
    ワンストップ目標設定
    oyakata
    oyakata
    ¥ 1,000
  • 技術書典7
    技術書
    [電子書籍版] YubikeyとOpenSSLで作る電子認証局
    electric-sheep
    electric-sheep
    ¥ 800
  • 技術書典9
    技術書
    Gitのサブモジュールで困ったら読む本
    mochikoAsTech
    mochikoAsTech
    ¥ 500
  • 技術書典12
    ソフトウェア
    #個人Webサービスシステム構成事典 v3
    @nabettu
    @nabettu
    ¥ 0
「技術書典」の人気作品
もっと見る
ピクシブかんたん決済のご利用方法匿名配送であんしん!あんしんBOOTH便海外発送/国際配送サービスの転送コム最短2分でグッズ販売開始「pixivFACTORY」

BOOTHで「売りたい」

作品を出品しようBOOTH Apps(拡張機能)あんしんBOOTHパック発送代行・倉庫サービス梱包発送ガイド委託販売とは二次創作の著作権に関する取り組みBOOTH Camp

BOOTHで「買いたい」

BOOTHとはお買い物ガイドお支払い方法取引の流れ倉庫おまとめ発送BOOTH主催のWeb即売会

サポート・お問い合わせ

お知らせよくある質問チャットで質問(24時間対応)BOOTH事務局へのお問い合わせ
X(Twitter) @booth_pm
pixiv
BOOTH
会社概要利用規約倉庫サービス利用規約ガイドラインプライバシーポリシー外部送信規律について特定商取引法に基づく表記
© pixiv