はてな自動的に移動しない場合はをクリックしてください。
ゲーデルの不完全性定理を代数学を使って表現してみた - とりマセ
『代数学は得意だけど，数学基礎論とかさっぱり分からない．論理とかマジイミフ』そんなアナタを対象に，ゲーデルの不完全性定理を解説してみよう！ のコーナーです． 論理学と代数学（可換環論）との対応については，檜山さんによる素晴らしい記事があります： 古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 ただ，『論理学といえばまずコレ！』とも言うべき『ゲーデルの不完全性定理』の代数学的表現については書かれていないようなので，ちょっぴり魔が差して，ここでゲーデルの不完全性定理の代数学的な表現を与えることにしました． だが，単にゲーデルの不完全性定理を代数学で表現するだけじゃあつまらない……倍プッシュだ……！というわけで，プラスアルファとして，その他色んな分野との関わりを含めて紹介します． 0. 理論は対応する代数を持つよ！： リンデンバウム代数 まず，論理学と代数学を対応させる第一の架け橋
ブルック・シールズの青い地獄 - Lucifer Rising
拷問や虐待はよくない。 ぼくの場合、こういうことを言うと「アンタは拷問映画や女囚映画が大好きなくせに、そういうこと言うのか」と言われてしまいそうだが、そうやって恣意的に現実と虚構を混同するのはやめた方がよい。ドラマ『おしん』が好きなみなさんが（ぼくは何の興味もないが）、現実に年端がいかない少女に重労働を科したり、苛烈ないじめを加えたいわけじゃないでしょう。『タイタニック』に感動した人が、現実の海難事故を待ち望んでいるわけでもないでしょう。というような話はこれまでも何度もしてきた。 拷問や虐待には当然、「性的な」拷問や虐待も含まれる。 確かに世の中には性的に拷問してもらいたくてウズウズしている人たちもいる。でもそういう人たちだって「合意の上で」そういうサービスを受けたいのであり、いきなりアブグレイブ刑務所にぶち込まれたいと思っているわけではない（とも言い切れないほどハードコアなSMマニアにつ
わかちえない「朝鮮」 - パラム、ドル、ヨジャ〜済州島に多いものみっつ〜
わたしたちは、「＜朝鮮＞をやめる。」ことが、はたしてできるのでしょうか。 「朝鮮」という国家と「朝鮮人」とを、わけて考えることが、できるのでしょうか。「朝鮮人」ではなく、「朝鮮」だけを批判し、「朝鮮」という国家を否定することができるのでしょうか。 高校のとき、朝鮮学校を卒業して、わたしと同じ日本の高校に入学をしてきたIさんという人がいました。Iさんは、本名の日本語読みの名前で通っていたので、名前を聞いてすぐに「在日」の人なのだと思いました。ただ、Iさんが本名を名乗っていたからといって、「在日」であるだろうということはわかっても、朝鮮学校出身の人だということがわかるわけではありません。でも、わたしはIさんが朝鮮学校を出た人だということを、Iさんとお話をする前から知っていました。それは、Iさんが高校の入学式に、チマ・チョゴリの制服を着て式に出ていたからでした（私服だったので、入学式の服装は
「郵便番号データの落とし穴」に落ちてしまいました。 - 日記
いま、仕事で郵便番号のデータをデータベースのテーブルに登録するツールを作成している。登録するデータは日本郵便のサイトからダウンロードしてきたファイル(いわゆるKEN_ALL.CSV)を使用している。最初は 毎月1回、自動でダウンロード 圧縮ファイルを解凍 システムが必要とする項目だけを抜き出して別のCSVファイルに落としシェルか何かで適当にテーブルにインポートと思っていたが・・・。ダウンロードするのはいいが、ファイルのダウンロードが成功したか、途中で失敗したかどうやって判定したらいいのかわからない。md5のファイルなどが別途用意されていればいいが、当然、日本郵便はそんな細かい仕事はやってくれない。 圧縮の形式がLZHはいかがなものか。zipじゃだめなの？ データフォーマットがひどい。KEN_ALL.CSVのデータフォーマットのひどさについては、郵便番号データの落とし穴を参照なのだが、問題は
はてブ陶片追放って上手くいかないんじゃないかな - 煩悩是道場
久しぶりにはてブネタ。調べてみたら一ヶ月半も書いてなかった。自分が如何に「はてなムラ」から遠ざかった場所にいるかがわかるってもの。 具体的にはdigg型、youtube型のコメントに対する評価機能をつけるべき。明らかにアホなコメントにはbadのボタンをクリックして、いくつかたまると非表示にする。そうすれば、アホなコメントが人の目に触れる機会が劇的に減る。もちろん、本人は自分のコメントが批判されているということがわかるようにする。そうしないと、そいつは改めない。自分がどんな愚か者であるかに気づかない。この機能がつくだけで、はてブのコメントに殺伐感が生まれる。「自分のこのコメントは大丈夫だろうか」と考えるようになる。はてブはYouTubeのようにコメントに対するマイナスの評価軸を取り入れるべき - Cheshire Lifeはてなブックマークはもう十分殺伐だろ、というのはともかくとして、非表示
id:asashiguさんからのお返事 - 教えてお星様
雑記「茶髪の何がいけないのでしょうか」に反論してみる - 朝霧 時雨のついったーログ＠はてダいや、別に釣りのつもりはないよ。いたって真面目に記事を書いてます。茶化すのは止めてください。以下反論。あなたが自分だけの見解で「茶髪にして何が悪い」と仰っている点が散見されます。つまり、あなたが「染髪してはいけない」ルールを勝手に理不尽なルールとして決め付けているフシがあります。まず、この前提条件が間違っているのです。あなたが良くても、周りの生徒は？親は？教諭は？茶髪を快く思っていない人たちだっているのです。それに卒業式ということで卒業生の親・来賓の方々に茶髪の生徒を見られてしまう危険性が生じます。もちろん、自由な校風なら問題ありませんが、一般的な中学校では「中学生で茶髪なんて…」と思うのが自然でしょう。(自分の憶測ですが)あなたが良くても、周りの生徒は？親は？教諭は？茶髪を快く思っていない人たちだ
ニコ割りアンケートって実は日本で一番すごい世論調査なんじゃないか - みずましにっき(無調整)
中川大臣が辞任しましたね。それが良いことなのか悪いことなのかは別として。ニコ割アンケートでも、会見での失態についての調査が行われました。 中川財務相辞任、「当然」34％ 「マスコミ騒ぎすぎ」47％ ニコ動調査 - ITmedia News中川大臣辞任についてアンケート実施‐ニコニコニュース特別アンケート「中川財務・金融相の辞任について」結果‐ニコニコ動画(ββ) 簡単にまとめると、あのような会見は問題で、やめるのは当然だが、マスメディアは騒ぎすぎだ、という人が多いと。 で、こういう政治系のアンケート（ニコニコ世論調査）の結果に対して、最近よく国士様が湧いてくる。なぜか。「思ってたほど」、「保守的」な回答が少ないから？たぶんさー、国士様の頭の中では、2chとかニコ動とかっていう枠の中では自分たちが主流派だと思ってるんじゃないかな。「マスゴミ」は国民を騙してる。ネットでは「マスゴミ」が伝えない
Rubyのスクリプトをexeに変換するツール「RubyScript2Exe」 - このブログは証明できない。
以前、チラッと紹介したのですが、便利なので再び紹介。Rubyのスクリプトをexeに変換するツールです。 RubyScript2Exe - A Ruby Compiler 何がうれしいって。あなた。Rubyの実行環境がない人にスクリプトを配布できるんですよ。その上さらに特典が。ファイル名をコマンドライン引数にとるスクリプトの場合、exeにファイルをドラッグ＆ドロップするだけでスクリプトを実行できます。スバラシイ。 何がすごいって。あなた。RubyScript2Exe自体がRubyで書かれてるんですよ。まだ中身を見てないですが。サイトに行くと、仕組みが載っています。 もはや、GUIのいらないアプリは、全部Rubyで書いてしまう勢いです。
「 2 」か「 9 」で割ってみる - ナイトシフト
先日、飲んでたときに「 9 」という数字が面白いというになったのですが、「 数字が合わないときに『 9 』で割ったりするよね。 」と言ったら誰もやってなかったのでその話をします。たぶん、会計に携わってる人なら知ってる人も多いはず。 例えば、経理の仕事をしてたりすると、仕訳を全部入力したのに帳簿の残高と実際の預金残高が合わないということがあると思います。会計の仕事をしていない人でも、家計簿ソフトを使ってて、レシートを全部入力したのに現金の残高が合わないなんていうことがあるんじゃないでしょうか。そんなときは闇雲に間違いを探しはじめないで、とりあえず差額を「 2 」か「 9 」で割ってみるといいかもしれません。割り切れると↓こんな可能性が考えられます。 「 2 」で割り切れる → ±を逆に入力してる可能性がある「 9 」で割り切れる → 桁間違い or 数字の一部を逆に入力してる可能性がある
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
はてな
長文日記
革命的非モテ同盟跡地
みやきち日記
http://d.hatena.ne.jp/ToyoSF/20071031
はてな
それで解決するのかな - ナマケログ
長文日記
はてな
Terminal.app で Alternate Screen Buffer を無効にする - TrashSUITE