理論ってラムダ計算とかいうもの？
バグが出にくいというのはどうしてなんですか？