このサイトについて
解決案を共有するタイミング
チームビルディング
自己組織チーム
『世界一流エンジニアの思考法』
正しくないのはわかるが、良い解決策が思いつかない
やるべきことかを考える
課題→仮説→解決策
直観主義論理で二重否定除去は一般に成り立たない
直観主義論理の¬
Biome
dprint
Prettier
いきものコレクションアプリBiome
直観主義論理では排中律は一般に成り立たない
maximal worlds
直観主義論理の→
作曲
『ビヨンド ソフトウェア アーキテクチャ』
『LEADING QUALITY』