2018.09.26変化の激しいITの世界で、丸山不二夫が重要と考えるトピックについて、ベンダーフリーな立場から、できるだけ新しい情報を、できるだけ分かり易く、できるだけ多くの方に、伝えていこうと思います。日本のIT業界が、日本の元気を牽引するようになればいいと思っています。詳細プログラマーは考える。プログラミングは論理的であるCoqは、一般には「証明支援システム」と呼ばれています。詳細プログラマーは考える。プログラミングは論理的であるCoqは、一般には「証明支援システム」と呼ばれています。不二夫ほとんどの開発者にとっては、「機械がチェックする数学的証明」なぞは、アカデミーの世界の好奇心の対象ぐらいにしか思っていないかもしれません。いうソフトウェア・エンジニアリングの新しい潮流を紹介します。題して、丸山不二夫氏が登壇します。題して、丸山不二夫氏が登壇します。題して、丸山不二夫氏が登壇します。ポスト量子暗号への移行と量子暗号と題して、丸山不二夫氏が登壇します。本動画は、量子コンピュータをやさしく理解する三つの方法と題して、丸山不二夫氏が登壇します。ComputeEngine。