丸山 不二夫
Registration date 2016.09.13
東京大学教育学部卒業。一橋大学大学院社会学研究科博士課程修了。稚内北星学園大学学長、早稲田大学大学院情報生産システム研究科客員教授等を歴任。オープンソースのコミュニティ活動に積極的に参加。日本Javaユーザー会名誉会長。日本Androidの会名誉会長。クラウド研究会代表。 近年では、日本のIT業界がグローバルな技術イノベーションの一翼を担うことを目標に、連続講演会「マルレク」を主宰し、クラウドコンピューティングや人工知能などの技術について講演を行っている。
丸山事務所(マルレク)： http://www.digital-life365.com/
日本Androidの会： https://www.android-group.jp/
過去の講演資料： https://goo.gl/XM5YsT
2016 年9月更新
丸山 不二夫 の動画一覧
Open 2020.02.06
IT技術とCoqの世界 -- 「証明」＝「プログラム」＝「計算」の意味を考える （後半）
詳細プログラマーは考える。プログラミングは論理的であるCoqは、一般には「証明支援システム」と呼ばれています。多くのIT技術者にとって、Coqは、特殊な分野（数学の問題の証明等）で ...
Open 2020.02.06
IT技術とCoqの世界 -- 「証明」＝「プログラム」＝「計算」の意味を考える （前半）
詳細プログラマーは考える。プログラミングは論理的であるCoqは、一般には「証明支援システム」と呼ばれています。多くのIT技術者にとって、Coqは、特殊な分野（数学の問題の証明等）で ...
Open 2020.01.23
ソフトウェア・エンジニアリングの新しい潮流 -- Deep Specificationの世界（後半）
ほとんどの開発者にとっては、「機械がチェックする数学的証明」なぞは、アカデミーの世界の好奇心の対象ぐらいにしか思っていないかもしれません。プログラムの開発に「形式的手法」を導入しよ ...
Open 2020.01.23
ソフトウェア・エンジニアリングの新しい潮流 -- Deep Specificationの世界（前半）
今回のマルレクでは、"Deep Specification" というソフトウェア・エンジニアリングの新しい潮流を紹介します。この流れは、ハードとソフトの開発に、コンピュータの数学的 ...
Open 2019.10.12
Yet Another AI — RPAは「推論エンジン」の夢を見るか (後半)
本動画は、Yet Another AI — RPAは「推論エンジン」の夢を見るか と題して、丸山不二夫氏が登壇します。小論の第三部「機械による数学的推論は可能か？」では、人工知能技 ...
Open 2019.10.12
Yet Another AI — RPAは「推論エンジン」の夢を見るか (前半)
本動画は、Yet Another AI — RPAは「推論エンジン」の夢を見るか と題して、丸山不二夫氏が登壇します。小論は、「Yet Another AI」 すなわち、「別のAI ...
Open 2019.10.12
Yet Another AI — RPAは「推論エンジン」の夢を見るか（オープニング）
本動画は、Yet Another AI — RPAは「推論エンジン」の夢を見るか と題して、丸山不二夫氏が登壇します。小論は、「Yet Another AI」 すなわち、「別のAI ...
Open 2019.08.14
暗号技術の現在 -- ポスト量子暗号への移行と量子暗号
本動画は、暗号技術の現在 -- ポスト量子暗号への移行と量子暗号と題して、丸山不二夫氏が登壇します。【動画概要 マルレクホームページより】現在では、企業の秘密情報も個人のプライベー ...
Open 2019.04.12
量子コンピュータをやさしく理解する三つの方法 -オープンニング-
本動画は、量子コンピュータをやさしく理解する三つの方法と題して、丸山不二夫氏が登壇します。資料はこちら【動画概要 マルレクホームページより】量子コンピュータを難しく感じている人は多 ...
