これは私の投稿です。

who

九鹿四十二だったり、ルグランだったり、大王だったりする人間のweblogです。

what

このweblogで記録すること：

• 日々の勉強のログ(e.g., 『Standard ML 入門』の読書状況)
  • および、その整理とアウトプット
• 考えていることの整理

現在やっていること

やっていること:

• プログラミング
  • Ruby
  • Standard ML
  • Golang
• 形式手法
  • TLA+
    • 並行して分散合意アルゴリズムに関して学習中
  • Isabelle
• チーム
  • よいチームメイトとして振舞えるようになるため。

Appendix

使用したツール

このブログを構築するのに使ったのは以下の通りである。

• Docker
• Hugo