数式なしでわかった気になれる「ゲーデルの哲学」
岩波文庫で撃沈したが、本書から攻めたらすんなり入れた。数式を使わずアナロジーを用いることで、不完全性定理のイメージを上手く伝えている。同時にゲーデルの生涯を追いながら、不完全性定理の哲学的帰結までたどっている。 哲学的帰結は以下のとおり。 全数学を論理学に還元することは不可能である 全数学を公理化することも不可能である この完全な理解にはほど遠いものの、感覚的に分かった。おかげで、あれほど確固なものだった「数学」が、実は「信念」を積み重ねた楼閣に見えてしようがない。わたしは、「数」を信じるように、不完全性定理を信じる。 ■01 受験数学の呪い 「要するにどういうことか」は、理解をすッ飛ばして記憶した。数学は暗記科目――受験数学の呪いは骨の髄まで浸透している。公理と定理を暗記して、adaption パターンを習得するのが「数学」だと思い込んでいた。 そこには、自ら定理を導出する喜びや、新たな
人と人をつなぐ技法「チームビルディング」
「チームはできるものではなく、つくるもの」。この視点はありがたい。チームをまとめる立場なら、この視点+技法は必須。プロジェクトチームから町内会まで使える。 好むと好まざるとにかかわらず、社畜でいるかぎり、三十路も後半になると、一匹オオカミでいさせてくれない。「面倒みてやれ」という暗黙のメッセージとともに、何人か付けられる。たいていは、数回の毎朝ミーティングでチームらしくなってくる。 これが10人、20人のプロジェクトチームになると話が違ってくる。さらに、「思惑」「肩書」パラメータが追加されると厄介だ。以前のわたしは、アイスブレイクをいくつかと、赤ちょうちんぐらいしか知らなかった。仕事を通じてチームは形成されるものだと思っていた。 ところが、本書では、チームをつくる方法があるという。短期間で活性化したチームとして機能させるためのメソッドが紹介されている。[アジャイルレトロスペクティブズ]がチ
「無限のスーパーレッスン」に酩酊する
ゲーデル入門のつもりで読んだが、「数」の恐ろしさを思い知ると同時に、確かだと思い込んでたリアルがゆらぐ。急に足元が消えたような感覚にとらわれる。そのへんのミステリよりも背すじが寒くなる。 8章まで面白く読める。聞き手の「おっさん」が程よく分かっていないので、絶妙の質問をしてくる。まるでわたしの代わりのようだ。おかげで、「わからない」から「わかる」快感をたっぷり味わう。 興味深いのは、「わかった」とするときの居心地悪さ。アタマでは分かっても、腹に落ちない「だまされているような感覚」がつきまとう。例えば、 「1= 0.999…」について、ありがちな説明として、 1 = 1 両辺を3で割る。左辺は分数、右辺は小数で表現すると、 1/3 = 0.333… 両辺に3をかけると、 1 = 0.999… 聞き手の「おっさん」は、これがうさんくさい、という。 つまり、0.99999999999999999
新訳「リア王」はスゴ本
シェイクスピアは「リア王」が一番ドラマティックで面白い。松岡正剛は「シェイクスピアの最高傑作である」と断言している[証拠]。今回は光文社の新訳で「リア王」を再読ッ、めがっさ読みやすいにょろ～。人間の弱さ・醜さ・おぞましさが、スラスラ読めるおそろしさッ！ しかも新訳を手がけたのは、現役の演出家でもある安西徹雄。なので、現場の酷使に耐えうる「生きた・今の・ことば」となっている。昔からの定番、新潮文庫の福田恒存訳と比べてほしい。わたしが好きな忠臣ケントの罵詈雑言で、まず旧訳から。 ごろつきさ、無頼漢さ、大口開けて他人のおこぼれ待ちの乞食野郎と思っている、賤しくて高慢ちきで、薄ぺらで物ほしげな面附きの、節季節季のお仕着せと一年百ポンドのお給金が何より頼りの、生涯毛むくじゃらの薄穢い靴下野郎だ、肝玉は白ちゃけた百合の花、喧嘩となれば直ぐさま畏れながらと訴え出る、父無し子で、うぬぼれ鏡と睨めっこばかり
わたしが知らないスゴ本は、きっとあなたが読んでいる: チームリーダーは「アジャイルレトロスペクティブズ」から盗め
「なんで、こんな非効率なやり方なんだ?」この疑問、よくあるどころか毎日だ。 たとえば、情報がうまく共有されていないとか、ある人がボトルネックになっているとか。不平を言うと「じゃぁオマエがやれ」と押し付けられるので、最近では不言実行で最適化を図っている[参考]。 あるいは、評論家になっていっぱしのクチをきくが、現場を変える努力も勇気もないくせにブログで薀蓄たれ流す。ネット弁慶カッコワルイ（誰とはいわんが、わたしも含まれるので自戒）。 たしかに、「前と同じやり方」で仕事は回るが、「やり方」が改善されないまま。成果物はレビューされるが、仕事のプロセスはレビューされない。かくして非効率性は引き継がれ、不満は澱のように溜まってゆく。 こいつをなんとかする試みが、「アジャイルレトロスペクティブズ」。舌噛みそうな名前で、サブタイトルの「『ふりかえり』の手引き」というほうがピッタリだね。 つまり、プロジェ
嘘つきとヤンデレの純愛「嘘つきみーくんと壊れたまーちゃん」
ヘヴィノベルだ、これっぽっちも light じゃない。が、面白さも重たい。するりと読めてガッチリと掴み取られる、まーちゃん（表紙）に。彼女のヤンデレは狂気の域に達しており、小学生兄妹を拉致って監禁している。 いっぽう、語りべのみーくんは嘘つき。口ぐせは「嘘だけど」。地の文に紛れ込むモノローグでも嘘をつく。こっちはそこを織り込んで読むのだが、ラストの「幸せの背景は不幸」のくだりでやられた！おもわず天を仰ぐ。「幸せの背景は不幸」―― これがサブタイトルに入っているのを読了後に知って、もう一度空を見る。 さらに、 一行目を読んだ瞬間、物語の二重底に気づく。ミエミエ、と思ってたら実は三重底。まーちゃんのヤンデレと、みーくんの口ぐせ「嘘だけど」が効いている。この仕掛け、上手に騙されましたな。ラノベだと舐めてかかって一本背負いを喰らった。でも気持ちいい。 「まーちゃん」 マユの髪を指で梳きながら、諦め
嘘つき愛くんには痛んだ彼女たちがお似合い「嘘つきみーくんと壊れたまーちゃん2」
いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい かみさまのうそつき いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい こわれたまーちゃん いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい いちめんのしたい ちみどろまーちゃん いちめんのしたい という素晴らしいシーンがフラッシュバックする「嘘つきみーくんと壊れたまーちゃん」。物語として完成度高いなー、と思ったのは、本作が一回限りの「嘘」に支えられているところ。みーくんの戯言的会話や、まーちゃんの狂いっぷりは、この「嘘」のおかげで救われている（わたしのレビューは[ここ]）。 …もちろんネタバレしない
川端康成ホラー傑作選
世界に誇るロリ小説の大家は、幻想的な怪談を書いていた、という話。 彼ほど美少女を描くのが上手い小説家はいない。そして、彼ほど美少女を追い求めた作家はいないだろう。 すごい美少女って人間ぽく見えない。あまりに整いすぎている見目は、人外いう言葉が似合う。しかも、あかりを消して見る女の裸は、この世のものとは思えない。夜の底に沈む白さは、冥土への途なのか――うつくしい女は、どこか化け物じみている。究極のおんなは、もののけなのかも。 やはりというか、当然というか、白眉はこれ。 「片腕を一晩お貸ししてもいいわ」と娘は言った。そして右腕を肩からはずすと、それを左手に持って私の膝においた。 この文からはじまる幻視的な一夜は、何度読んでも恐ろしい。むかし観たB級ホラー（題名失念）で、腕が持ち主を探す場面を思い出す（白い蜘蛛のように這いまわっていた）。 話者が見聞きしたイメージを重ねることで、心情を表現するの
Vector： ソフトライブラリ＆PCショップ - 国内最大級の フリーソフト ダウンロードサイト
【2023年度】ベクターPCショップ人気ソフトランキング 【2023年度】人気ソフトランキングBest30を一挙公開！実力と人気を兼ね 備えたソフトがズラリ勢揃いし、セール商品も多数あり。売れ筋ソフトを振り 返りつつ、お目当てのソフトを探してみてはいかがでしょうか？ ●オススメ＆人気の製品版ソフト 【98％OFF】Fonts66コンプリートパック／109書体 【2,980円】商用利用OKの「鈴木竹治」フォント集 価格：274,795円 【33％OFF】Audials One 2024 ultra 【9,990円】人気の配信サービス等を録画「Audials One 2024 ultra」 価格：14,990円 【63％OFF】Driver Booster 11 PRO 3ライセンス 【1,980円】デバイスドライバ全自動更新「Driver Booster」 価格：5,478円 親戚まっぷシリ
Vector： DxCapture - 新着ソフトレビュー
パソコンにあまり詳しくない人でも、手軽にゲームやアプリケーションの操作を記録できる動画キャプチャソフト。「DxCapture」は、“これ以上はない”ほどの簡単な操作で、ゲーム画面などの動画をキャプチャできるソフト。Direct3D 8/9のゲームに対応するほか、Windowsのデスクトップ操作を丸ごと録画することも可能。動画ファイルの作成にはDirectShowが使用され、ファイルサイズの制限なく録画できる。動画と同時に音声を録音することも可能だ。 操作はシンプルでわかりやすい。タスクトレイに常駐したアイコンをダブルクリックして設定ダイアログを開き、いくつかの簡単な設定を行ったあと、ゲーム画面をアクティブにしてショートカットキーを押せばよい。これだけで録画が開始される。出力される動画ファイルの形式はAVI。ファイル名には“DxCapture001.avi”からはじまる連番が自動的に割り振ら
Not Found
指定されたページは存在しない（URLが間違っている）か、 またはメンテナンス中のため、一時的に表示できなくなっています。 ベクターのトップページからたどるか、サイトマップから目的のページを探すか、またはしばらく経ってから再度、アクセスしてみてください。 ご不明な点があれば、お問い合わせページをご覧の上、お問い合わせください。 ※15秒後にトップページに戻ります。
MOONGIFT: ? 面倒なドライバインストールを一括で「DriverMax」:オープンソースを毎日紹介
PCの調子が悪くなり、再インストールを行うといった経験は誰しもがあるだろう。再インストールし終わり、ディスプレイドライバを用意し忘れて800×600で16色くらいのディスプレイが表示された経験はないだろうか。 他にもサウンドドライバやLANドライバ等、各種ドライバが存在する。これらを一から用意していると非常に面倒だ。事前にこれを行っておく事をお勧めする。 今回紹介するフリーウェアはDriverMax、ドライバの一括インストーラーだ。 DriverMaxは現状のWindowsシステムにインストールされているドライバをエクスポートし、再インストール後にインストールできるユーティリティだ。事前にエクスポートを行う必要があるが、これがあればインストールの手間は軽減される。 出力は一部のドライバだけでも可能で、ディレクトリ以下に展開するか、一つのZipファイルにするかを選択できる。 Vistaにも対
MOONGIFT: � 運べや運べ「OpenTTD」:オープンソースを毎日紹介
シミュレーションゲームは手先のテクニックよりも、考える時間が与えられる分、ゲームが苦手な私でもできる。最近は時間もとれずにいるが、その内やってみたいなと思わせるゲームがあった。 Transport Tycoon Deluxeは、A列車で行こうやシムシティに似たゲームだ。そしてクローン版がこちら。 今回紹介するオープンソース・ソフトウェアはOpenTTD、オープンソース版Transport Tycoon Deluxeだ。 OpenTTDはWindowsはもちろん、Mac OSXやDebianについても提供されているソフトウェアだ。MacBookで起動しようとすると何やらエラーが出たが、Windowsであれば問題なく起動する。日本語化もされている。 特徴は何といっても列車の種類、オプションの豊富さだ。一言で列車といっても、貨物の種類によって選択肢が様々に存在したり、運送手段も列車、車、船、航空
Rubyで作るGUIアプリケーション·Shoes MOONGIFT
MemotuneはRuby on Railsで開発されている。そして、FlashPaper生成部分ではWindowsを利用している。そのため、GUIアプリケーションに関しても触れる必要がある。 言語を全て同じもので開発できれば効率はぐっと向上するだろう。それを実現するのがこのライブラリだ。 今回紹介するオープンソース・ソフトウェアはShoes、RubyのGUIツールキットだ。 Shoesの最大の特徴はWindows、Mac OSX、Linux全てに対してGUIアプリケーションが提供できる点にある。一つのコードで数多くのOSをサポートするのはJavaのようでもある。 値の入力内容を受け取る事や、ファイルを開くダイアログを出す事もできる。Shoes.appというオブジェクトに対して追加する処理はごくシンプルで分かりやすい。 画面デザインについて細かな指定がないのと、コンパイル等でソースの隠蔽化
Totally Geek :: Virus Source Code Database
The Virus Source Code Database (VSCDB) is for information purposes only, for researchers and computer virus or programming enthusiasts. No warranty is given or to be implied for any software listings contained herein. You take full responsibility for any damages caused by compiling, running, or sharing this information. Be aware that running any malicious code on another's computer or computer net
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
