Trello の内容を kintone アプリに同期するシステム Trekin を作った話をします。

モブプロなどでgit rebase squashする時に、それまでの著者をCo-authored-byに自動で追加するgit hookを作りました。

多くの学生はサイボウズ製品を使ったことがない上に、詳しくも知らないと思います。僕がどういう風にサイボウズ製品を調べたかを記します。

本記事はVDM++の型の組み合わせによってできる型、合成型(Compound Types)の中でも、集合(Set)と配列(Sequence)の簡単なまとめです。

VDM++の型の中でも基本となる、基本データ型(Basic Data Types)の簡単なまとめ

今年も1年生に自分語りしてきました。去年のスライドよりもためになるようにしたつもりです。

LaTeXでTODOコマンドを作りました。warningを出してくれて便利です。非常に簡単に作れます。

LaTeXを使って修論を書いていたところ、謎のwarningがでました。silenceパッケージを使って、warningをignoreしました。