MENU

MaruLabo

2019-2020セミナー開催中
READ MORE

2019-2020のテーマ

科学と技術のイノベーションの接点を探る
READ MORE

YouTube チャンネル “Maruyama Lectures” を作成しました

マルレク + MaruLaboの講演ビデオ、ショート・ムービーを集めた YouTube チャンネル “Maruyama Lectures” を作成しました。
人を集めたセミナーは当面は開催が難しそうなので、しばらくは、ここが丸山の主要な活動舞台になるのかもしれません。

マルレク + MaruLaboMaruLaboのこのホームページ ともども、YouTube チャンネル “Maruyama Lectures” よろしくお願いします。

チャンネル登録、お待ちしています。

6/30 楽しい数学 「2のn乗の話」を開催しました

6/20 マルレク基礎 「ケット |k> で理解する量子の世界」を開催しました

5/15 マルレク基礎 「たとえ話で理解する量子の世界」
を開催しました

5/5 マルレク 「AWSでの形式手法の利用」
を開催しました

3/27 マルゼミ 「論理学入門 II — ラムダ計算と関数型言語」 を開催しました

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

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

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

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

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

Podcastでの配信始めました。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

GitHub