マルレク「量子コンピュータの現在」を開催しました
Podcast「量子優越性とは何か？」
まとめページつくりました
Youtubeで「量子コンピュータの動作を図解する」
を公開しました。
Podcastでの配信始めました。
次回のマルレク「量子コンピュータの現在」は、
2/17 DMMさんで開催です。
概要は、このリンクをご覧ください
飛行機の歴史と量子コンピュータ
「まるまるの哲学チャンネル」始めました
声優のまる綾里さんと丸山との対談です。第一回目は、映画Jokerがテーマです。
このリンクからアクセスできます。
1/28 マルゼミ 「論理学入門 I」を開催しました。
「論理学入門 I」のイントロダクション
講演内容については、このリンクをご覧ください。
11/27 マルレク「IT技術とCoqの世界 」を開催しました。
講演内容については、このリンクをご覧ください。
Youtubeで「はじめてのCoq」の配信始めました。
次のページからYoutubeにアクセスできます。
「なぜ、開発は人間によって担われているのか？」公開しました。
ショート・ムービーまとめページ
- はじめてのCoq
https://www.marulabo.net/video/coq/ - 量子過程を図解する「String Diagram入門」
https://www.marulabo.net/video/string-diagram/ - 型の理論入門
https://www.marulabo.net/video/type-theory/ - テンソルとは何か？ Tensor Network 入門
https://www.marulabo.net/video/tensor-network/
GitHub
- Coq Tutorial
https://github.com/maruyama097/coq-tutorial - 量子コンピュータで学ぶ量子プログラミング
https://github.com/maru-labo/ibm-q-handson - 一般社団法人 MaruLabo GitHub
https://github.com/maru-labo