関数型玩具製作所

per altera ad ipsa

フォローする

  • ♪ プロフィール(運営者情報)
  • ♭ メールフォーム(お問い合わせ)
  • ∬ 開放特許について
  • #  サイトマップ

「2020年08月」一覧

技術書典9への参加

2020/8/10 Haskell, イベント, 自分でつくるPDFリーダー

参加確定 先程通知メール来ました。無事、技術書典9に参加できそうです。今年の盆休みは9連休で、現在執筆3日目です。こんな感じのものができてい...

記事を読む

最近の投稿

  • 2020年の終わりと2021年の始まり
  • Build済み品の配布(不思議なPDFリーダー)
  • Localモードの追加
  • Build済み品の配布について(予告)
  • Booth出店とアップデート、技術書アワード、Twitter

最近のコメント

    アーカイブ

    • 2020年12月
    • 2020年10月
    • 2020年9月
    • 2020年8月
    • 2020年7月
    • 2020年5月
    • 2020年2月
    • 2020年1月
    • 2019年12月
    • 2019年11月
    • 2019年9月
    • 2019年8月
    • 2019年7月
    • 2019年6月
    • 2019年5月
    • 2019年4月

    カテゴリー

    • Agda
    • Haskell
    • PDFリーダー
    • PDFリーダーの事例
    • お願い事項
    • イベント
    • プログラミング教育
    • 人工知能(A.I.)
    • 型理論・証明論
    • 契約書
    • 学問
    • 技術書典
    • 数学教育
    • 法学のレジュメ
    • 法学教育
    • 特許
    • 着色戦略
    • 精読・速読
    • 自分でつくるPDFリーダー
    • 英語の教科書
    • 英語教育
    • 調整中
    • 資格試験
    • 雑感

    メタ情報

    • ログイン
    • 投稿の RSS
    • コメントの RSS
    • WordPress.org
    © 2019 関数型玩具製作所.