三浦真人 / Makoto Miura

数学者／ファクトファクトリー代表。
大学数学演習アプリや子ども向け数理パズルゲームを開発しています。

[三浦真人 / Makoto Miura @miurror]

ブラウザゲームを作ってみたので、よかったら遊んでみて下さい。
https://t.co/gW0otp0MqI

[三浦真人 / Makoto Miura @miurror]

リリースされました！
研究のかたわら、こつこつ作ってきたパズルゲームです。��さい子でも遊べるように、チュートリアルとルールの伝え方にとことんこだわりました。
うちのいちばん小さいテスターが、誰より気に入って遊んでくれているのが、いちばんの自信です。
よければぜひ遊んでみてください！

[貴族ゲームス @kizokugames]

『きゃっとホーム』本日リリースされました！🐈🏠
操作はタップだけ。ねこの部屋のカドをけずったり、つけ足したり。気づいたらずっと遊んでしまう改築パズルゲームです。 8/9(日)までリリース記念価格200円(以降300円)。よい週末のお供にどうぞ！ https://t.co/vgdxPRmvge
#きゃっとホーム #個人開発

[三浦真人 / Makoto Miura @miurror]

いよいよ明日リリースです。なんだかんだ、数年前からひとりで開発していたパズルゲームを、このたびiOSアプリとしても提供できるようになりました。
反射的多角形を、ぽちぽち改築するゲームです🐱笑
予約すると0時に自動でダウンロードされるはず。iPadの広い画面で遊んでもらえると一番嬉しいです！

[貴族ゲームス @kizokugames]

新作 iPhone / iPad ゲーム『きゃっとホーム』8/1リリース🐈🏠
ねこの部屋をぽちぽちタップして改築するパズルゲームです。App Storeで予約受付中！8/9まで記念価格200円（以降300円）の買い切りです。ぜひ遊んでいただけると嬉しいです！ https://t.co/vgdxPRmvge #きゃっとホーム #インディーゲーム

[三浦真人 / Makoto Miura @miurror]

今日は経営者然としたプロフィール写真 (笑) ���撮ったあと、初めて商談っぽい話をしに某教授に会いに行き、銀座で講演したあと色んな人と交流して、テンションの上がる一日だった。
明日から出展予定のゲームパビリオンjpに向けて準備進めます！

[三浦真人 / Makoto Miura @miurror]

AlphaProof 形式的な証明書いてくれるのか。
すごいな…

[Google DeepMind @GoogleDeepMind]

We’re presenting the first AI to solve International Mathematical Olympiad problems at a silver medalist level.🥈

It combines AlphaProof, a new breakthrough model for formal reasoning, and AlphaGeometry 2, an improved version of our previous system. 🧵 https://t.co/SYaLPSbIyj

[Daisuke Okanohara / 岡野原 大輔 @hillbig]

AlphaGeometryは国際数学オリンピックの幾何問題を従来の金メダリストと同レベルに解ける。1億問の問題を人工的に生成し、仮説と結果の後に証明を後続した文字列を作り、LLMを学習。演繹エンジンを使って証明し、それが詰まった時、有用な途中目標をLLMが追加し協力して解くhttps://t.co/hwuURVe04p

[三浦真人 / Makoto Miura @miurror]

明日の講義のため集会を抜けて帰ってる。
有意義な出張だったな��。

[三浦真人 / Makoto Miura @miurror]

矛盾からは何だって召喚できるからな

[三浦真人 / Makoto Miura @miurror]

「矛盾」という意味で雷矢印を使うの、人によってはハリー・ポッターを召喚しているのだと受け取るらしい。

[三浦真人 / Makoto Miura @miurror]

アト秒物理の解説記事、秒でチェックした(遅い)。

[三浦真人 / Makoto Miura @miurror]

@suzuki__r なるほど～。
期待がしぼんでいるなら少し寂しいですね…

[NASA @NASA]

July 2023 was the hottest month on record, according to our global temperature analysis. Overall, July was 0.43°F (0.24°C) warmer than any other July in @NASAEarth's record, and it's likely due to human activity. Details: https://t.co/2DTIfL8S1Q

[Curiosity @CuriosityonX]

🚨: NASA's James Webb space telescope has spotted a giant 'question mark' object in a new deep space image

[三浦真人 / Makoto Miura @miurror]

満月の下、御所と鴨川走ってきた🏃‍♂️

[三浦真人 / Makoto Miura @miurror]

Hodge数のモアレに頭を悩ませている

[三浦真人 / Makoto Miura @miurror]

2歳児の身長、もう成人の半分を超えてる。

[三浦真人 / Makoto Miura @miurror]

札幌の集会あっという間だったけど楽しかったです。色々刺激を受けたのでまた頑張ろうっと。

[三浦真人 / Makoto Miura @miurror]

人生の実績「研究発表の最後に自作のゲームを紹介する」を解除しました。

[三浦真人 / Makoto Miura @miurror]

今のところ、PCのみの対応です。

[三浦真人 / Makoto Miura @miurror]

ブラウザゲームを作ってみたので、よかったら遊んでみて下さい。
https://t.co/gW0otp0MqI

[三浦真人 / Makoto Miura @miurror]

Canvasで多角形を扱うゲームを作ってみた https://t.co/JTMxem8vh2 #Qiita @miurrorより