MENU

マルレク「量子コンピュータの現在」を開催しました

Podcastで、全コンテンツを公開しています。

Podcast「量子優越性とは何か?」
まとめページつくりました

このリンクからまとめペーッジにアクセスください

Youtubeで「量子コンピュータの動作を図解する」
を公開しました。

Podcastでの配信始めました。

このリンクからPodcastにアクセスください

次回のマルレク「量子コンピュータの現在」は、
2/17 DMMさんで開催です。

概要は、このリンクをご覧ください

飛行機の歴史と量子コンピュータ

「まるまるの哲学チャンネル」始めました

声優のまる綾里さんと丸山との対談です。第一回目は、映画Jokerがテーマです。
このリンクからアクセスできます。

1/28 マルゼミ 「論理学入門 I」を開催しました。

「論理学入門 I」のイントロダクション

講演内容については、このリンクをご覧ください。

11/27 マルレク「IT技術とCoqの世界 」を開催しました。

講演内容については、このリンクをご覧ください。

Youtubeで「はじめてのCoq」の配信始めました。

次のページからYoutubeにアクセスできます。

「なぜ、開発は人間によって担われているのか?」公開しました。

ショート・ムービーまとめページ

GitHub