形式手法
Deep Dive Audio 20250531
セミナーの構成 セミナーのまとめページは、こちらです。https://www.marulabo.net/docs/sdlc/ セミナーは、次のようなコンテンツで構成されています。 ● Part 1 ソフトウェア開発でのA […]
Deep Dive Audio
MaruLaboについて MaruLaboについて、AIがレポートしています。 2025 June Deep Dive 音声概要再生リスト 6月のコラム予告編 Modular Form が辿った道 僕は、20世紀の数学の […]
ソフトウェア開発サイクルの変革とAI Agent の動向
公開したセミナー 公開詳細情報 講演資料 ↓ 講演資料はスクロールで全文読めます 講演ビデオ再生リスト セミナーの音声概要 5月のマルレクへの招待 ====================セミナーへのお申し込みはこちらか […]
Coq スタートアップセミナー (5)
2023/05/14 第五回「coq-jupyterのセットアップ」 講演資料 「coq-jupyterのセットアップ」 ( ダウンロード) 講演ビデオ これまでの「Coq スタートアップセミナー 」 「Coq スタート […]
Coq スタートアップセミナー
Coq スタートアップセミナーについて セミナーの目的 ● これからCoqを学習したい人を対象● すぐにCoqを使用できるように!● Coqの実行環境の紹介● Coqの実行環境のインストール方法を説明 講師紹介 平原貴音 […]
並列・分散アルゴリズムの基礎
7/30 マルレク「並列・分散アルゴリズムの基礎」へのお誘い 7月30日、「並列・分散アルゴリズムの基礎」をテーマにマルレクを開催します。https://concurrent.peatix.com/view 今回のセミナ […]
コンピュータ、数学の問題を解き始める
2022/03/26 マルレク 概要 3/26 マルレク「コンピュータ、数学の問題を解き始める」へのお誘い Open-AI Theorem Prover この2月に、 Open-AI はとても興味深い発表を行いました。彼 […]
「同じ」を考える — Univalence Axiom 入門
2022/03/01 マルゼミ「「同じ」を考える — Univalence Axiom 入門」 小論は、2019 年1月29日のセミナー「「同じ」を考える — 「型の理論」入門」をベースにして、H […]