machiboke

상점 소개

主に技術書を執筆します。 型システム、テスト、静的解析などの、安全にプログラムを書くための技術が多めです。