システム研究科客員教授等を歴任。オープンソースのコミュニティ活動に積極的に参加。Androidの会名誉会長。近年では、日本のIT業界がグローバルな技術イノベーションの一翼を担うことを目標に、連続講演会「マルレク」を主宰し、クラウドコンピューティングや人工知能などの技術について講演を行っている。詳細プログラマーは考える。プログラミングは論理的であるCoqは、一般には「証明支援システム」と呼ばれています。詳細プログラマーは考える。プログラミングは論理的であるCoqは、一般には「証明支援システム」と呼ばれています。不二夫ほとんどの開発者にとっては、「機械がチェックする数学的証明」なぞは、アカデミーの世界の好奇心の対象ぐらいにしか思っていないかもしれません。いうソフトウェア・エンジニアリングの新しい潮流を紹介します。題して、丸山不二夫氏が登壇します。題して、丸山不二夫氏が登壇します。題して、丸山不二夫氏が登壇します。ポスト量子暗号への移行と量子暗号と題して、丸山不二夫氏が登壇します。本動画は、量子コンピュータをやさしく理解する三つの方法と題して、丸山不二夫氏が登壇します。ComputeEngine。