関数型玩具製作所

per altera ad ipsa

フォローする

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

出版契約書へのシンタクスハイライト

2021/1/4 未分類

シンタクスハイライト例 出版契約書の雛形にシンタクスハイライトした例です。 出版契約書雛形(シンタクスハイライト済み) 甲:書き手...

記事を読む

NO IMAGE

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

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

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

記事を読む

Build済み品の配布(不思議なPDFリーダー)

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

PDFリーダーについて、Windowsだと環境構築がやや難しい状況だったので、私の方でビルドしたバイナリを配布することにしました(★1)。以...

記事を読む

Localモードの追加

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

Localモード Localモードというモードを追加しました。m, nボタンでモード切替できます。これは、以前紹介したプリセット禁止戦略+V...

記事を読む

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版と同じにする予定だったのですが、予想外に早く技術書典の...

記事を読む

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

最近の投稿

  • 出版契約書へのシンタクスハイライト
  • 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 関数型玩具製作所.