概要 Kotlin/Native という，Kotlin のコードをネイティブのバイナリにコンパイルするツールがリリースされたというニュースを目にし，気になったのでちょっとだけ試してみました． Kotlin で書いたネイティブな Hello world! を実行できるようにしてみます…

概要 Awaitility という，Java で非同期な処理に対するテストを書く際の便利ライブラリがあったのでその紹介です． マルチスレッドで諸々が背後で動いているときに，テストが期待する状態になるのを待つコードをいい感じに実装できるというもので，Usage の…

概要 仕事で PostgreSQL を使っているのですが，奇妙な動作をすることが稀にあります． 奇妙な動作といっても，PostgreSQL 自体の不具合というではなく，アンチウイルスソフトとの競合で発生している事象だと思われる類のものです． 稀に発生すると，問題の…

計算の概念 過去に作成した，数学において「計算」というものをどう定式化するか？といった紹介をする資料を SlideShare にアップロードしたので，ここにもリンクを貼ってみます． 計算の概念 - SlideShare (Mac の LaTeX で作成した PDF なのですが，オンラ…