学校でのプログラミング教育について
1 まえがき 他記事のなかでもプログラミング教育について触れてきましたが、ここで一度まとめておこうと思いました(注釈で述べているパ...
per altera ad ipsa
1 まえがき 他記事のなかでもプログラミング教育について触れてきましたが、ここで一度まとめておこうと思いました(注釈で述べているパ...
自分でつくるPDFリーダーという題目で展開していく予定(※1)でしたが、現状ではAgdaやHoTT(Homotopy Type Theor...
まず、Haskellの開発環境を構築する必要があります。 すでにHaskellの環境を構築されている方、Linuxとか分かっている人...
PDFリーダーに関して、周りの人から動画ではイマイチだけど触ってみるとかなりポテンシャルを感じる、という意見をもらっています。 そこ...
先日、友人にこのPDFリーダーが有効な領域についての感想をもらったのですが、 「予めどういう単語が重要かが分かっているケース」、 ...
今回は大学の法学(具体的には民法)の講義で配布されるレジュメに製作物を適用しました(※1) (資料リンク) 最終形態のみをお見...
今回は英語文書に適用した例を紹介します。 (動画があると解りやすいとのことでしたので、最下部に追加しました。) ...
特許文書に本製作物を適用してみます。 適用結果の説明の前に、前回の特許庁の検索サイトの結果を見てください。 「人工知能」とい...
前回は契約書へ適当な着色を施し、読みやすくするというソフトウェアについて紹介しました。今回は、どのような点に工夫があるかについてご説明しま...
契約書に本製作物を適用した例です。 何をやっているかを端的に言えば文書を適当に着色して視認性を良くする、というものです。 ただし、単純に着...