計算機科学

その他講演
はじめてのCoq

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

続きを読む
数理哲学
数理哲学論文

丸山の博士課程時代の論文です。修士の時に、ゲーデルやコーヘンについて論文を書いたはずですが、見つかりませんでした。 カテゴリー論と認識の理論 カテゴリー論と認識の理論 -- F・W・ローヴェールの数学思想丸山不二夫198 […]

続きを読む
マルゼミ
マルレク・コンテンツ一覧

2023年 2023/01/28「AIは意味をどのように扱っているのか? -- ChatGPT の不思議」 2023/01/14 「なぜ?で考える ChatGPT の不思議」 2022年 2022/12/24「ことば […]

続きを読む
マルゼミ
量子計算の古典的検証

11/26 マルゼミ 「量子計算の古典的検証」について 「量子計算の古典的検証」とは、量子コンピュータが人間の指示通りに働いているか、量子コンピュータの行なった計算が正しいものであるかを、人間がキチンと確かめると言うこと […]

続きを読む
マルゼミ
ラティス暗号入門

「ラティス暗号入門」講演資料と講演ビデオ 講演資料 講演ビデオ Part 1 ラティス入門 Part 2 ラティス暗号 LWE Part 3 ラティスとラティス暗号 ラティス入門 ラティスとは何か -- 格子点を表現する […]

続きを読む
マルレク
暗号技術の現在

マルレク「暗号技術の現在」へのお誘い 【 8/27 マルレクのタイトルを「暗号技術の現在」に変えました 】  開催まで一週間を切っているのですが、8/27 マルレクのタイトルを「ポスト量子暗号技術の現在」から「暗号技術の […]

続きを読む
マルレク
並列・分散アルゴリズムの基礎

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

続きを読む
マルゼミ
計算科学とエントロピー

2021/09/30 マルゼミ 「計算科学とエントロピー -- コロモゴロフ複雑性とアルゴリズム論的情報理論」概要 これまで、丸山のセミナーでは、エントロピーについて、主要に、ボルツマン・ギブスらの統計力学的アプローチと […]

続きを読む
マルゼミ
エンタングルする認識

2022年 10月29日 エンタングルメント・セミナーを開催します。 本セミナーは、録画されたコンテンツの配信で、生放送ではありません。この日のこの時間帯の都合が悪い人も、申し込みいただければ、いつでも都合のいい時間に、 […]

続きを読む
マルゼミ
チューリングマシンの拡大と複雑性

2021/02/26 マルゼミ 「チューリングマシンの拡大と複雑性」概要 私たちの認識は単純なものから複雑なものに進みます。世界は複雑なものであふれているので、我々の認識もどんどん複雑になっていきます。ただ、こうした私た […]

続きを読む