2019年5月18日のブックマーク (2件)

  • 「サイゼリヤで1000円あれば最大何kcal摂れるのか」をSMTソルバー(Z3)で解いてみた。 - Qiita

    前書き サイゼリヤ1000円ガチャをつくってみた(Heroku + Flask + LINEbot) 「サイゼリヤで1000円あれば最大何kcal摂れるのか」を量子アニーリング計算(Wildqat)で解いてみた。 完全に二番煎じですが、古典コンピューターが好きなので、個人的に古典コンピューター最強のなんだかよく分からないけどよく分からないものをよく分からないうちに解いてくれるソフト、z3を使ってサイゼリア問題を解いてみました。 問題 サイゼリヤのメニューを重複無しで合計1000円以下になるように選んだときに、最大の総カロリーになるようなメニューの組み合わせを求めよ。 サイゼリヤのメニューは https://github.com/marushosummers/Saizeriya_1000yen こちらを使わせて使わせて頂きました。メニューは100種類ぐらいみたいで、カロリーは整数値で、プロコ

    「サイゼリヤで1000円あれば最大何kcal摂れるのか」をSMTソルバー(Z3)で解いてみた。 - Qiita
    kuuote
    kuuote 2019/05/18
  • 荒木飛呂彦、Eテレ「日曜美術館」でエッシャーを語る

    × 19862 この記事に関するナタリー公式アカウントの投稿が、SNS上でシェア / いいねされた数の合計です。 7345 11713 804 シェア 5月19日にNHK Eテレで放送される「日曜美術館」に、荒木飛呂彦が出演する。 番組では「エッシャー 無限性の彼方へ」と題し、ミステリアスなだまし絵で知られるエッシャーを特集。エッシャーは学校では落第生で、建築家になる夢も挫折した。しかし個性的な作品を残した版画家・メスキータと出会ったことで、唯一無二の世界を切り開いていくようになったという。荒木がどのようにエッシャーを語るのか、ファンは見逃さないようにしよう。

    荒木飛呂彦、Eテレ「日曜美術館」でエッシャーを語る
    kuuote
    kuuote 2019/05/18
    エニグマだ