スーパーマリオメーカーはチューリング完全（日曜数学会発表）

•

10 likes•8,280 views

Yuki Yoshida

第15回日曜数学会の発表資料です．当日の発表の様子は https://live2.nicovideo.jp/watch/lv320692098 で視聴できます（2時間24分から10分間程度）．

Science

What's hot

イマドキC++erのモテカワリソース管理術Kohsuke Yuasa

SystemC Tutorialkocha2012

圏とHaskellの型KinebuchiTomo

ros_whillとROS2対応（ROS勉強会第28回LT大会）Seiya Shimizu

安全性を証明するために知っておくべき４つのことshibataka000

たのしい高階関数Shinichi Kozake

理解して使いこなすDjangoのForm機能(2021 Django Congress発表資料)KyutatsuNishiura

ROS2勉強会@別府第7章PythonクライアントライブラリrclpyAtsuki Yokota

ibus-skkをなんとかすっぺ会議emasaka

STLの型の使い分け(ダイジェスト版) @ Sapporo.cpp 第7回勉強会 (2014.10.18)Hiro H.

関数型プログラミング入門 with OCamlHaruka Oikawa

抽象的な教えを試行錯誤しながら解釈した DDD の実践レポートhogesuzuki

The Best (and Worst) of DjangoJacob Kaplan-Moss

VerilatorとSystemCMr. Vengineer

WASM（WebAssembly）入門ペアリング演算やってみたMITSUNARI Shigeo

V6 unix in okinawamagoroku Yamamoto

show コマンド結果をパースする方法あれこれ #npstudyakira6592

入門シェル実装Yusuke Sangenya

Everyday Life with clojure.specKent Ohashi

ROS2勉強会 4章前半tomohiro kuwano

What's hot (20)

イマドキC++erのモテカワリソース管理術

SystemC Tutorial

圏とHaskellの型

ros_whillとROS2対応（ROS勉強会第28回LT大会）

安全性を証明するために知っておくべき４つのこと

たのしい高階関数

理解して使いこなすDjangoのForm機能(2021 Django Congress発表資料)

ROS2勉強会@別府第7章Pythonクライアントライブラリrclpy

ibus-skkをなんとかすっぺ会議

STLの型の使い分け(ダイジェスト版) @ Sapporo.cpp 第7回勉強会 (2014.10.18)

関数型プログラミング入門 with OCaml

抽象的な教えを試行錯誤しながら解釈した DDD の実践レポート

The Best (and Worst) of Django

VerilatorとSystemC

WASM（WebAssembly）入門ペアリング演算やってみた

V6 unix in okinawa

show コマンド結果をパースする方法あれこれ #npstudy

入門シェル実装

Everyday Life with clojure.spec

ROS2勉強会 4章前半