1. ITニュース
  2. スーパーマリオメーカーはチューリング完全（日曜数学会発表）
6 picks

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

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

続きを読む
Yusuke Hata

6ヶ月前
Pickしました
Imanishi Hironobu

6ヶ月前
難しいけど取り上げ方が面白い
上村 直紀

フリーランス(稼働中)

6ヶ月前
面白い
清水 風音

ITnews代表

6ヶ月前
Pickしました
Yamaguchi Taro

6ヶ月前
Pickしました
小菅 仁士

株式会社リクポ 取締役CTO

6ヶ月前
Pickしました

関連の記事

オニギリペイのセキュリティ事故に学ぶ安全なサービスの構築法 (PHPカンファレンス2019)オニギリペイのセキュリティ事故に学ぶ安全なサービスの構築法 (P...SlideShare
レガシーフリーOSに必要な要素技術 legacy free osレガシーフリーOSに必要な要素技術 legacy free osSlideShare
心理的安全性を 0から80ぐらいに上げた話心理的安全性を 0から80ぐらいに上げた話SlideShare

新着ピック  

清水 風音清水 風音3時間前ITnews代表
数年前からARコンタクトレンズの可能性を言われていまし...ARコンタクトレンズをMojo Visionが発表　現...
清水 風音清水 風音3時間前ITnews代表
契約不適合責任おそるべし...。とくに受託開発などでは...フリーランスのための「これだけは知るべし！！改正民法」...
鈴木 健太郎（すずけん）鈴木 健太郎（すずけん）1日前プログラマ
これを見ると最悪Let's Encryptでもあててお...オレオレ証明書を使い続ける上場企業をまとめてみた - ...
tamo santamo san1日前ITインフラ・セキュリティエンジニア
『オンライン教育サービス「Coursera」で提供され...グーグル、「Python」など学べるオンライン講座--...
鈴木 健太郎（すずけん）鈴木 健太郎（すずけん）1日前プログラマ
> エコシステムの変化は連続的であるので、自分がその道...プログラミングを学ぶにあたって詰まったことと、そこから...
tamo santamo san1日前ITインフラ・セキュリティエンジニア
『「リスト型攻撃」のプログラムもコンピューターから確認...ＩＤとパスワード、６５００万件流出か　茨城県警、押収サ...
shunta kamiyashunta kamiya1日前
やっぱ動機って一番重要だなぁと 楽なときはいいけど、し...独学は難しくて孤独な学習方法、より簡単にする方法を提案...
tamo santamo san1日前ITインフラ・セキュリティエンジニア
『結果としてEV証明書は上場企業の9.1%しか使ってな...オレオレ証明書を使い続ける上場企業をまとめてみた - ...
tamo santamo san1日前ITインフラ・セキュリティエンジニア
夜行性インコさんのまとめ。各社対応が追記されますな：後...後払いサービスとフリマサイトを悪用した売上金詐取につい...
tamo santamo san1日前ITインフラ・セキュリティエンジニア
『システムの脆弱性を突いた第三者からの不正アクセスでペ...「ペットハグサイト」不正アクセスでカード情報流出、決済...
tamo santamo san1日前ITインフラ・セキュリティエンジニア
『「検索エンジン経由でアクセスした際に偽ショッピングサ...「改ざんサイト」は2019年8月から急増、検索結果から...
tamo santamo san1日前ITインフラ・セキュリティエンジニア
今年は金融関係が狙われるかも？：2020年の金融関連の...2020年の金融関連の脅威：フィンテック、モバイルバン...
tamo santamo san1日前ITインフラ・セキュリティエンジニア
『普段はSNSに写真を投稿したりメッセンジャーアプリか...モバイルデバイスに感染したマルウェア「Faketoke...
tamo santamo san1日前ITインフラ・セキュリティエンジニア
道後温泉はEdyを最初に展開したり、と割とITに関心が...“鍵のいらない温泉旅館”は現場と客を救うのか　創業15...
清水 風音清水 風音1日前ITnews代表
とても長い文章なんですが、新しい技術を習得する前に、真...独学は難しくて孤独な学習方法、より簡単にする方法を提案...
tamo santamo san1日前ITインフラ・セキュリティエンジニア
『国や政府から独立した国境のない形で運営することの大切...「インターネットの父」村井純さん、慶応大で最終講義：朝...
清水 風音清水 風音1日前ITnews代表
年度末処理に加えて、システムのサポートが加わったらサポ...マイクロソフト、「確定申告への影響を考慮し、Windo...
清水 風音清水 風音1日前ITnews代表
お、これはイイ！Gitの操作方法と考え方を学ぶツールと...Learn Git Branching
Kouya Kouya 1日前
これが、どこまでの精度なのか気になります ↓ 収集し...複数情報源から脆弱性情報を自動で収集、IT資産の脆弱性...
清水 風音清水 風音1日前ITnews代表
Google Hire早かったな...Google f...グーグルが2020年に廃止に踏み切る4つのサービス

新着ニュース

Alphabetの時価総額1兆ドルとSaaS株の記録的高値で見えるこれからのスタートアップ | TechCrunch Japan

Alphabetの時価総額1兆ドルとSaaS株の記録的...

TechCrunch Japan / 1時間前

Xiaomiのハイエンドスマホブランド「POCO」が独立 | TechCrunch Japan

Xiaomiのハイエンドスマホブランド「POCO」が独...

TechCrunch Japan / 2時間前

春商戦と楽天対抗　KDDIが「auデータMAXプランPro」の値下げに踏み切った理由

春商戦と楽天対抗　KDDIが「auデータMAXプランP...

ITmedia / 3時間前

クラウドのデータを保護するCyralが約12億円を調達 | TechCrunch Japan

クラウドのデータを保護するCyralが約12億円を調達...

TechCrunch Japan / 3時間前

イーロン・マスクがスペースXで開発する宇宙船の詳細を発表、耐用年数は民間航空機並み | TechCrunch Japan

イーロン・マスクがスペースXで開発する宇宙船の詳細を発...

TechCrunch Japan / 4時間前

アップルも議論に加わったCES---CES 2020のプライバシーラウンドテーブル

アップルも議論に加わったCES---CES 2020の...

CNET Japan / 5時間前

OCR技術を提供するオーストリアのAnylineが約13億円を調達し米国進出 | TechCrunch Japan

OCR技術を提供するオーストリアのAnylineが約1...

TechCrunch Japan / 5時間前

Orbexによる2022年の打ち上げミッションの顧客確保を、SpaceXにも協力するTriSeptが担当 | TechCrunch Japan

Orbexによる2022年の打ち上げミッションの顧客確...

TechCrunch Japan / 6時間前

［ブックレビュー］英語学習に抜け道なし--「やり直し英語革命」

［ブックレビュー］英語学習に抜け道なし--「やり直し英...

CNET Japan / 6時間前

マイクロソフトの新「Edge」、グーグル「Chrome」との重要な相違点は

マイクロソフトの新「Edge」、グーグル「Chrome...

CNET Japan / 6時間前

もっと見る
記事をPICKする
ログイン
会員登録
Register
Date of birth
I have read and agree to the
Send me notifications
記事をPICKする

会員登録すると、もっと便利に利用できます。