4-4 同期 これまでに実装したライブラリでは、生成されたスレッドは各々ばらばらに動くことしかできなかった。 スレッド間で協調して何かの処理をおこなえるようにするためには、スレッド間の同期 (synchronization) 機構をライブラリが提供してやる必要がある。 Spin wait 例えばスレッドを３つ作って、次の３つの関数をそれぞれ実行させたとする。 int sum1 = 0, sum2 = 0; void thread1(int* array) { int i; for (i = 0; i < N / 2; ++i) sum1 += array[i]; } void thread2(int* array) { int i; for (i = N / 2; i < N; ++i) sum2 += array[i]; } int thread3() { return sum1 + s
９GL(権威／謙虚)と_ function|λに関するmindのブックマーク (8)
-
mind 2008/03/05
-
不完全性定理について(あるいは証明と計算について)
「証明」という言葉と「計算」という言葉 「計算」という言葉の説明 「証明」という言葉の説明 ここまでのまとめ 補足:「完全」という言葉について 対角化定理と再帰定理 対角化定理 再帰定理 ラムダ計算との関係 第1不完全性定理、停止問題、その他 第1不完全性定理の証明 停止問題、真を表す述語の定義不可能性 自然数論の決定不能性 補足: 「決定可能」「決定不能」という言葉について 第2不完全性定理 第2不完全性定理の証明 第2不完全性定理の内容 補足: ヒルベルトの形式主義(ヒルベルト・プログラム) まとめ 文献 「証明」という言葉と「計算」という言葉 論理学についての話や説明をする場合、 「証明」とか「証明できる」という言葉がふたつの意味で使われる。 ひとつは数学とか日常で普通に使うのと同じ普通の意味での 「証明できる」(何かの正しさを筋道立てて示すことができる)で、 もうひとつは形式的な論
-
書評 - 仏教は心の科学 : 404 Blog Not Found
2007年04月23日16:45 カテゴリ書評/画評/品評Love 書評 - 仏教は心の科学 宝島社の柳氏に、この場を借りて献本御礼。 仏教は心の科学 アルボムッレ・スマナサーラ それにしても何というタイミングだろう。 極東ブログ: 仏教の考え方の難しいところ 日本の仏教者はダライ・ラマの教説を否定するだろうか。そしてその否定のしかたは、「それは仏教ではない」という否定になるのだろうか。もしそうなら、では、ダライ・ラマの仏教を否定する日本人の仏教とは何に依拠しているのだろうか。 本書はこういう疑問を抱く人のために書かれたのだから。 本書「仏教は心の科学」は、スマナサーラ長老の法話集。と書くと、最近とみに増えてきた「Yet Another 仏教本」という印象を受けるかも知れないが、「元祖仏教」、いやブッダの言葉は実に 404 Blog Not Found:ブッダ―大人になる道 実に単純で明快
-
-
計算できない問題・関数について
いくつかの問題 停止問題 プログラムを実行すると、 実行が終了して停止するか停止せずにいつまでも実行を続けるかの、 どちらかになる。 そこで、与えられたプログラムが停止するか、 いつまでも停止しないかを判定する、 という問題(プログラムの「停止問題」という)を考える。 (この問題をちゃんとした問題として扱うには、 プログラムがどう実行されるのかが 正確に(処理系依存とかのあいまいさ無しに)定義されている必要がある。 だから普通は、チューリングマシンみたいな できるだけ単純な道具立てを使って話をする。 でも、ここでは細かい事にはこだわらず、 「適当にどうにか定義してある」事にしておく。) 停止問題を解くプログラムを作りたいとする。 これは、コンパイラと比較すると判りやすいかもしれない。 コンパイラはプログラム(のソース)を受けとり、 実行コードを出力する。 停止問題を解くプログラムは、 プロ
-
完璧なウェブアーカイブができたとき伝説がはじまる。 -
空白の15年。 現状のような中途半端なウェブアーカイブではなく完璧なウェブアーカイブサービスが例えば2010年にできたとしよう。そのとき改めて95年〜2010年の日本ウェブシーンのキロクが穴だらけだったことが悔やまれ、そしてまたアツク語られるのだろうなーなんて思ってます。 2010年以降のパーフェクトアーカイブ後の世界では、ウェブコンテンツは(時代性以外は)誰でも追体験可能なキロクになり、そして「ウェブコンテンツは誰でも追体験可能なものである」というその時代の常識が、95年〜2010年の追体験不可能なウェブの伝説度をより引き立てることになるんじゃないかな。 言ってみれば、今現在のみなさんは<<伝説>>の中に生きているのです。て書くと、ほらちょっとカッコよくない？
-
OBB vs AABB - Radium Software Development
iPhoneの一般修理店は予約なしでも来店できる？ 基本的には飛び込みで修理に行ってもOK iPhoneを置いていたソファにうっかりと腰かけてしまい、パネルを割ってしまった、こんな時はスマホの一般修理店へ行きましょう。画面割れは、スマホやタブレットの故障原因として非常に多いものです。予約なしで突然お店に行っても平気かしらと、不安に思う方々もいらっしゃるかもしれません。結論としては特に問題はなく、予約なしで訪問しても画面割れの修理はお願いできます。 ただし他のサービス業のお店同様、予約なしの場合、お店が混雑していると順番待ちをしなければいけないです。特に繁盛しているスマホ修理のお店だと、行列が店内で出来ており、予約なしだと、自分の順番が巡ってくるまで長時間待たされる可能性があります。平日の朝、昼なら利用客が少ない場合が多く、飛び込みでも比較スムーズに修理が頼めます。 予約は入れた方が時短に、
-
集合論雑記
トップページに戻る 日記の目次 最新の日記 谷山浩子さんのページ ご意見はこちらへどうぞ [2006年12月11日] Ver1.1 Generic拡大の基本定理の証明追加。 [2006年6月7日] Ver1.0 集合論雑記の強制法に関する部分はPDFファイルにまとめました。2006年5月3日版の誤り等を修正しました。 詳細に関しては2006年6月8日の記事 を参照して下さい。 (2006年6月19日) 16ページの「反映の原理」の説明で「公理」と記述すべ き部分が「論理式」となっていたのを修正。 http://evariste.jp/kagami/diary/0000/forcing-1.1.pdf http://evariste.jp/kagami/diary/0000/forcing-1.1.tex [目次]
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しました