関数型玩具製作所

per altera ad ipsa

フォローする

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

Build済み品の配布について(予告)

2020/10/26 イベント, 自分でつくるPDFリーダー, 雑感

MSYS2の路線で導入できるようになりました。このサイトのやり方を参考にしました。 LTSのバージョン、extra-deps、およびその他...

記事を読む

Booth出店とアップデート、技術書アワード、Twitter

2020/10/15 イベント, 自分でつくるPDFリーダー, 雑感

Booth出店 Boothに出店しました。こちらのサイトになります。更にそれに合わせて技術書典版もアップデートしました。 最初...

記事を読む

プリセット禁止戦略(マーキングの快・不快心理に基づく)

2020/10/10 着色戦略, 雑感

着色戦略として、プリセットとアドホックがあると説明しました。前者は読書を行う前にすでに設定するもので、後者は読書中に設定するものです。それ...

記事を読む

Vanillaデフォルト戦略

2020/10/7 着色戦略, 雑感

(1) 読み方(時系列で説明) (1.1) 読書開始時(Vanilla) (1.2) 読書中 通常時(Vanilla) 概念に混乱した時(...

記事を読む

自然言語へのシンタクティカルハイライトが有効な文書と状況

2020/9/28 着色戦略, 自分でつくるPDFリーダー, 雑感

条件について、分かってきたことをまとめてみます。 明らかに有効なもの 契約書特許法律公文書(官公庁の案内とかガイドラインとか)...

記事を読む

Booth出展(出店?)予告

2020/9/23 Haskell, 自分でつくるPDFリーダー

Boothに出展(出店?)を予定しています。(★1) 最初は内容を技術書典9版と同じにする予定だったのですが、予想外に早く技術書典の...

記事を読む

表紙(クラスチェンジ)と客観的視点の大切さ

2020/9/22 Haskell, イベント, 自分でつくるPDFリーダー, 雑感

新しい表紙 本の趣旨を体現した表紙にクラスチェンジしています。いずれやろうとしてたネタですが、最終日に当ててみました。 ...

記事を読む

Windows(WSL2により解決済み)とMacOS(macport)での不思議な読書体験

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

20200917現在、gi-pangoのバグによりWindows(Msys2の構成)では不思議な読書体験が出来ない状態です。stackとい...

記事を読む

不思議な読書 -擬似体験

2020/9/14 Haskell, PDFリーダー, 自分でつくるPDFリーダー

不思議な読書を疑似体験できるスライドを用意しました。是非ご参考にしてください。Docker Engine ユーザガイド〜基礎編v.11-b...

記事を読む

NO IMAGE

【技術書を自作PDFリーダーで読む(2)】の予告と書籍アップデート

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

技術書典10 技術書典9が開催される中、もう次のイベント(技術書典10)が予定されているみたいです。 私が知らなかっただけなのですが、12月...

記事を読む

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

最近の投稿

  • popilizerへのヒントモードの移植
  • popilizerベータの公開と大きな野望①
  • スマートフォンでChrome拡張が動いた件
  • 一般社員へのPython環境導入の抱える課題(経理の観点から)
  • いい感じで赤色強調してくれるマクロの開発

最近のコメント

    アーカイブ

    • 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年9月
    • 2019年8月
    • 2019年7月
    • 2019年6月
    • 2019年5月
    • 2019年4月

    カテゴリー

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

    メタ情報

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