形式手法

マルレク
Deep Dive Audio
2025年5月24日

MaruLaboについて MaruLaboについて、AIがレポートしています。 2025 June Deep Dive 音声概要再生リスト　6月のコラム予告編 Modular Form が辿った道 僕は、20世紀の数学の […]

続きを読む
マルレク
ソフトウェア開発サイクルの変革とAI Agent の動向
2025年5月10日

5月のマルレクへの招待 ====================セミナーへのお申し込みはこちらからお願いします。https://sdlcagent.peatix.com/view==================== […]

続きを読む
マルレク
コンピュータと数学
2024年8月12日

公開中のセミナー・ビデオはこちらです 8/31 マルレク「コンピュータと数学」コンテンツ公開の詳細 このセミナーのコンテンツの詳細については、↑のリンクをクリックください。ビデオ、講演資料を一つにまとめたものだけでなく、 […]

続きを読む
その他講演
はじめてのCoq
2023年6月11日

「はじめてのCoq」再公開について 「はじめてのCoq」は、MaruLaboのハンズオンの資料として、2019年に公開されたものです。そのハンズオンの概要については、次のURLを見ていただければと思います。　https: […]

続きを読む
MaruLabo Micro Media -- MMM
Coq スタートアップセミナー (5)
2023年5月14日

2023/05/14 第五回「coq-jupyterのセットアップ」 講演資料　「coq-jupyterのセットアップ」 ( ダウンロード) 講演ビデオ これまでの「Coq スタートアップセミナー 」 「Coq スタート […]

続きを読む
MMM
Coq スタートアップセミナー
2022年11月25日

Coq スタートアップセミナーについて セミナーの目的 ● これからCoqを学習したい人を対象● すぐにCoqを使用できるように!● Coqの実行環境の紹介● Coqの実行環境のインストール方法を説明 講師紹介　平原貴音 […]

続きを読む
マルレク
並列・分散アルゴリズムの基礎
2022年7月4日

7/30 マルレク「並列・分散アルゴリズムの基礎」へのお誘い 7月30日、「並列・分散アルゴリズムの基礎」をテーマにマルレクを開催します。https://concurrent.peatix.com/view 今回のセミナ […]

続きを読む
マルレク
コンピュータ、数学の問題を解き始める
2022年3月2日

2022/03/26 マルレク 概要 3/26 マルレク「コンピュータ、数学の問題を解き始める」へのお誘い Open-AI Theorem Prover この2月に、 Open-AI はとても興味深い発表を行いました。彼 […]

続きを読む
マルゼミ
「同じ」を考える — Univalence Axiom 入門
2022年2月25日

2022/03/01 マルゼミ「「同じ」を考える — Univalence Axiom 入門」 小論は、2019 年1月29日のセミナー「「同じ」を考える — 「型の理論」入門」をベースにして、H […]

続きを読む
マルレク
分散合意アルゴリズム (1) — Paxos
2022年1月12日

2022/01/29 マルレク「分散合意アルゴリズム (1) — Paxos」概要 今回のマルレクのテーマは、代表的な「分散合意アルゴリズム」であるPaxosの紹介です。申し込み：https://paxos. […]

続きを読む