計算できるもの、計算できないもの
計算機による計算とは何か、計算できるものとできないものの境界はどこにあるのか―それを明らかにする計算理論は、計算機科学においてもっとも基本的、かつ重要なものです。本書では、概念の説明や、結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題、扱いやすい問題と扱いにくい問題があること、文章では簡単に表現できても計算機には解けない重要な問題が数多くあること、効率よく解ける問題と解けない問題があることなどを、計算理論の礎を築いたアラン・チューリングとリチャード・カープの論文の抜粋とともに解明します。チューリングマシン、有限オートマトン、万能計算、非決定性、チューリング還元、計算量クラス、NP完全性などのトピックをカバーしています。 謝辞 まえがき:教科書として使う方へ 全体像 1章 はじめに:計算できるもの, できないものとは 1.1 扱いやすい問題 1
Flash Back Memories | CRAFT BOSS（クラフトボス） サントリー
Flash Back Memories とは？ 2020年12月31日。 インターネットの一時代を築いた Adobe Flashがサポートを終了する。 様々なカルチャーを生んだ 当時のクリエイターたちに感謝を。 そして、それらを引き継いでいく これからのクリエイターたちにエールを。 クラフトボスからのスペシャルムービーです。 新着情報 1992年、舞台「冬の皮」より大人計画に参加。劇団公演に出演するほか、外部公演への出演や、自身でイベント・ライブの企画・演出を行う。またCD・DVDリリースや、ドラマ脚本・小説・コラムの執筆など様々な分野で精力的に活動。98年発表の動画作品「ペリーのお願い」は根強い人気作となる。 「オイコノミア」や「戦隊ヒーロー スキヤキフォース」シリーズ、ZIP!「GoodMorning!!!DORONJO」などナレーターや声優としても数多くの作品で活躍している。19年映
ブリ刺身を濃いめ＆どシンプルなつゆで食べる「ねぎブリ鍋」を作ってほしい【魚屋三代目】 - メシ通 | ホットペッパーグルメ
こんにちは！ 鮮魚魚武の三代目、料理家の魚屋三代目です。 手軽にできて美味しい魚屋の一人鍋、以前は「ねぎま鍋」を紹介しましたが、 www.hotpepper.jp 今回はそのアレンジ。この時期に美味しい、脂がのったブリの刺身を使った「ねぎブリ鍋」の作り方を紹介します。しゃぶしゃぶですぐに食べても、半分レアくらいでも、お好みでしっかり火を通しても美味しいですよ。 ブリはこの時期、刺身がたっぷり入ったパックやサクが超お値打ちでスーパーなどに並ぶことがあります。刺身で食べきれない分を、趣向を変えて熱々のねぎブリ鍋にして楽しむのもいいですね。 魚屋三代目の「ねぎブリ鍋」 【材料】1人前 ブリの刺身 7切れくらい（あれば厚切りで。サクを2cmくらいの厚さの刺身にするのもおすすめ） 長ねぎ 1/2本（斜めに切る） しょうが スライス3枚 輪切り赤唐辛子 少々 めんつゆ（3倍濃縮） 50ml 水 300
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
