Author: Hironori Uchikawa
-
Lean写経 応用情報数理学特論 第０１回
千葉大学 萩原先生の 応用情報数理学特論 第０１回 の演習をLean4で写経してみる． 演習01-01 割愛 m(_ _)m 演習01-02 variable (A : Type) variable (B C D: Type) variable (a : A) variable (b₁ b₂ : B) variable (c : C) variable (f : A → B) variable (g : B → C) variable (h : A → B → C → D) variable (i…
-
WordPressに移行
これまでの個人サイトをWordPressに移行しました． 従来のサイトはMacのホームページ作成ソフト Rapid Weaver を使って作っていました．Rapid Weaverはプラグインが豊富で，特に Stacks というプラグインを使うと部品を組み上げるようにホームページが作れて非常に使い勝手がよかったのですが，ライセンスモデルがサブスクに移行してしまったため，年に数回使用するためだけに毎年支払うのは抵抗があり，やめました． WordPressは，Rapid Weaver と Stacks でホームページをデザインしていたのとほとんど同じようにサイトが制作できるので，移行にもほとんど時間がかかりませんでした． これだけの機能が無料で使えるというのは，本当に素晴らしい．