関数型玩具製作所

per altera ad ipsa

フォローする

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

「技術書典」一覧

NO IMAGE

2020年の終わりと2021年の始まり

2020/12/31 Agda, 技術書典, 着色戦略, 自分でつくるPDFリーダー, 雑感

振り返り あと数時間で終わってしまいます。今年は勉強会の開催、コロナによる中断と暇つぶしでそれなりに形になったPDFリーダー2号機、 技術書...

記事を読む

最近の投稿

  • 出版契約書へのシンタクスハイライト
  • 2020年の終わりと2021年の始まり
  • Build済み品の配布(不思議なPDFリーダー)
  • Localモードの追加
  • Build済み品の配布について(予告)

最近のコメント

    アーカイブ

    • 2021年1月
    • 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 関数型玩具製作所.