関数型玩具製作所(旧サイト)

per altera ad ipsa

フォローする

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

「PDFリーダー」一覧

製作物の紹介&お願い事項

2019/4/20 Haskell, PDFリーダー, お願い事項, プログラミング教育

1.製作物   文字列を適当に着色できるPDFリーダー。構文解析を利用している。 2.製作物のメリット   読書速度と精...

記事を読む

  • First
  • Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • Next
  • Last

最近の投稿

  • 新HPへの移行と2021年12月の状況
  • 半自動着色読書(頒布PDF)の直リンクなど
  • parserの自動最適化
  • 技術書典11への参加
  • popilizerのインストール方法

最近のコメント

    アーカイブ

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

    カテゴリー

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

    メタ情報

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