ループ展開（ループてんかい、英語: Loop Unwinding）は、プログラムのサイズを犠牲に実行速度を最適化する（時間と空間のトレードオフ）、ループ変換（英語版）と呼ばれる手法の1つである。ループアンローリング（英語: Loop Unrolling）とも呼ぶ。プログラマが手動で行うこともあるし、コンパイラが行うこともある。 ループ展開の目的は、毎回の繰り返しごとに発生する「ループの終了」条件のテストを減少させる（もしくはなくす）事によって、実行速度を向上させることである[1][2]。ループは、ループ自体を制御するためのオーバーヘッドがなくなるように、独立した命令ブロックの連続に書き換えることができる[3]。 ループのオーバーヘッドは、ポインタまたはインデックスをインクリメントして配列の次の要素を指すための命令群（ポインタ演算）と「ループ終了条件」のテストに由来する。最適化コンパイラなど

『のはなし』（伊集院光著・宝島社）より。 （「『好きな理由』の話」というエッセイの一部です） 【２年ほど前になるか、自分の担当しているラジオの深夜放送に立川談志家元をお呼びした時のこと。もともと古典落語の道をドロップアウトして今の世界に逃げ込んできた僕としては、談志家元は特別な存在で、何より６年間の修行時代にピリオドを打った理由の一つが「名人立川談志」の落語だった。 仕事疲れか、それが素の状態なのか、不機嫌そうにスタジオ入りした家元。僕は「機嫌を損ねて帰ってしまわないうちに…」とばかりその話をした。 「僕は落語家になって６年目のある日、若き日の談志師匠のやった『ひなつば（古典落語の演目の一つ。短く軽い話で特に若手の落語家がやる話）』のテープを聞いてショックを受けたんです。『芝浜』や『死神（ともに真打がおおとりで披露するクラスの演目）』ならいざ知らず、その時自分がやっている落語と、同じ年代の

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論

「証明」という言葉と「計算」という言葉 「計算」という言葉の説明 「証明」という言葉の説明 ここまでのまとめ 補足:「完全」という言葉について 対角化定理と再帰定理 対角化定理 再帰定理 ラムダ計算との関係 第1不完全性定理、停止問題、その他 第1不完全性定理の証明 停止問題、真を表す述語の定義不可能性 自然数論の決定不能性 補足: 「決定可能」「決定不能」という言葉について 第2不完全性定理 第2不完全性定理の証明 第2不完全性定理の内容 補足: ヒルベルトの形式主義(ヒルベルト・プログラム) まとめ 文献 「証明」という言葉と「計算」という言葉 論理学についての話や説明をする場合、 「証明」とか「証明できる」という言葉がふたつの意味で使われる。 ひとつは数学とか日常で普通に使うのと同じ普通の意味での 「証明できる」(何かの正しさを筋道立てて示すことができる)で、 もうひとつは形式的な論

アメリカのイラク迷走、それは第２次世界大戦のせい　戦後日本とイラクの違いは――フィナンシャル・タイムズ（１） 2007年5月31日（木）19:43 （フィナンシャル・タイムズ　2007年5月15日初出）　FT国際担当コラムニスト　ギデオン・ラクマン アメリカはどうしてイラクで戦争することにしたのか？　開戦から４年以上もたって、この問いに未だまともな答えが出ていない。これは異様なことだ。この戦争は本当に「大量破壊兵器」が全てだったのか？　本当のねらいは、中東の勢力地図再編という壮大な計画だったのか？　あるいは米国は単に、2001年９月11日の同時多発テロの後だけに、自分たちの力を盛大に誇示したかったのか？　それともこれは「石油のための戦争」だったのか？ 私が思うに、２番目にあげた「中東再編」が最も重要な動機で、そのほかの要素も全部影響したのではないか。その上で私はもうひとつ、第五の要

『倫理21』 柄谷行人 柄谷行人「オールドファン」にとってはおなじみのテーマ、というか前にも読んだ気がするのですが、書店でブラブラしていたら文庫になっていたので買ってしまいました。柄谷行人を読む快楽は何と言っても「美文を愉しむ」ところにあるので、何度でも読んだら良いのです。柄谷さんの著書の中でもとりわけ入りやすいトーンなので、大学一年生にもお勧め。 ここでは「ムッソリーニ、人種、自由」で「人種を選ぶ」という形で取り上げた「自由」と「自己決定」について、柄谷さんのお力を借りて再度整理してみたいです。 英米系の倫理学では、自由とは、他人に危害さえ与えなければ何をしてもよいということです。カントがそれに反対したのは、伝統的規範を重視したからではなく、そのことが別に「自由」ではないという理由によってです。自由な選択と見えるものは、実は内的・外的な、様々な原因にもとづいている。つまり、他律的である。

レジデント初期研修用資料 引っ越し前の旧blogです。新しいアドレスは http://medt00lz.s59.xrea.com/wp/ になります 集中治療室の仕事というのは、人間と機械との共同作業。 集中治療室の患者さんは、体中センサーだらけになってベッドに横になる。 患者さんは意識がなかったり、呼吸器につながれて鎮静されていたり。 体中電線だらけ、機械だらけ。診察もろくにできない。 集中治療室では、センサーが伝えてくれる数字の情報が頼り。 リアルタイムで変化する数字をモニター画面で追っかけながら、薬を調節したり、 人工呼吸器を調節したり。 「数字だけ見て何かするだけなら、この仕事は、完全に自動化できるんじゃないのか?」 みんな一度は考える。実際、インテリジェントICU の実験は論文になっているし、 人工呼吸器制御のインテリジェント化はもう実用にもなっている。 個人的には、これは絶対使

不確実な時代をクネクネ蛇行しながら道を切りひらく非線形型ブログ。人間の思考の形の変遷を探求することをライフワークに。 前触れもなく突然「自由意志」という言葉を使っているとはいえ、なにも殊更に哲学的な考察を行おうというつもりはないのですが、こうも最近読む本のなかに「自由意志」に関する記述が行われているのを目にしてしまうと、一言でも何か言わなきゃいけないような気にもなったりします。 意思決定はタイミング？特に昨日書評を書かせていただいた池谷裕二さんの『進化しすぎた脳』で紹介されている、2005年の『サイエンス』に掲載されたという論文のヒルを使った意思決定のメカニズムに関する実験の結果などを知ってしまうと、果たして「自由意志」などというものは本当に存在するのかと疑ってみたくもなります。 この実験では、シャーレの底にいるヒルの体を棒でつつくという行為を行います。その際、つつき方はまったく同じでもヒ

思考プロセス　ＴＯＣのパラダイム　プロジェクト管理　スループット計算　ダイスゲーム 思考プロセス 制約理論（ＴＯＣ）を生産に応用し数々の成果を上げたが、実際は、設備の能力などの物理的な制約よりも、規則や習慣などの方針制約が多くあることがわかって きた。その問題を解決する手法として「思考プロセス」が開発された。 人間が介在するシステムが抱える様々の問題は、その因果関係をたどって行くと、もっと根本的な限られた原因によって引き起こされている、とＴＯＣは説く。その根本的な限られた原因 は中核問題と呼ばれ、システムの能力向上を制限している「制約」である。 ・演習問題　因果関係 現状問題構造ツリー 先ず、われわれが日ごろ抱えている問題（Ｕｎｄｅｓｉｒａｂｌｅ　Ｅｆｆｅｃｔ；UDE：好ましくない結果）を ６から１０個程度上げる。 例えば、ある開発部門では次のような問題がある。 新商品が予定通り開発されな

世の中には馬鹿が多い。世の中の人間の90%はどうしようもない馬鹿だと思うが、そうだと思っていても、たまに愕然とする。 何の観察もなく洞察もなく、思考もなく。そして学ぼうともせず。 ただその場の感覚や表層的な言論・事象の上っ面をなでただけで、簡単に「理解した」とか言う。簡単に「理解した」というフレーズを使う人間ほど、何も理解しちゃいないのだ。 そうやって分かった風な面をして生きている馬鹿にだけはなりたくない。 真実というのは、常に手の届かない所にある物だ。だから僕は、決めつけをし、レッテルを貼る。「僕には分からない、だから今回はここまででやめておこう」と思考停止する。立ち止まり、そしてまたいつか、歩き出す。

アイコンがずばりラムダ・マーク なid:mindさんが、はてなブックマークコメントで曰く： ぉ! 問題集希望♪ そうですね。「JavaScriptで学ぶ・プログラマのためのラムダ計算」の節ごとに練習問題を入れておけばよかったな、と、ちょっと高階、じゃなくて後悔。このエントリーで練習問題を提供しましょう。JavaScriptの実行環境に関しては「もっともお手軽な対話的JavaScript処理系」を参照してください。 1. JavaScriptの関数リテラル 例に挙げたsquareは、「square(x) = x×x」という中学数学風の関数定義を二通りの方法でJavaScritpに翻訳したものです。同様に以下の関数定義を、JavaScritp関数として二通りの方法で定義してください。 double(x) = 2×x sqsum(x, y) = x×x + y×y 次の式（ラムダ計算の用語では適