とりあえず、以下の文章を民主党に送りました。ご批判ご意見感謝です。 行政刷新会議で、科学技術関連予算が減額されたことについて、意見を述べさせていただきます。 まずはじめに、仕分け作業を私たち市民に開放し、リアルタイムで見ることができるようになったことを、高く評価いたします。 行政刷新会議の事業棚卸し仕分けに関して、科学技術予算の縮減、見直しという決定がなされたことを、深く受け止めています。 ご指摘の通り、昨今の厳しい財政事情の中、科学技術予算だけが「聖域」であるはずはなく、予算の効率的使用に関して厳しい目が向けられるのは当然です。 科学技術予算に関しても、特定研究者に集中した非効率な予算配分、使われない実験機器が購入されるという無駄使いといった、様々な問題点が指摘されてきました。今回の事業棚卸しにて、このような非効率な予算の配分を見直すべきであるという意見が出たのはまっとうなことであると考

酒井さんのコメントに対して、 {true, false}と{0, 1}の対応でも、ほとんどの場合trueを1にしますが、trueを0にしたほうが計算がスムーズな状況もあります。 なんて応えたわけですが、これでフト思い出したことがあります。 以前、「イデアルと論理」つうネタでいくつかのエントリーを書いたことがあるのですが（「はてなブックマーク - ideal+logicに関するm-hiyama-taxonのブックマーク」参照）、中途半端にうっちゃってあるなー、ダハハハ。 未完（永久にか? ^^;）の「イデアルと論理」シリーズの最初のほうでは、普通の（つまり、可換環の）イデアルを紹介してますが、最終的には論理の（つまり、ブール代数の）イデアルに結びつけようと思っていたわけです。で、「どうやって結びつけるのか」という筋書きは今日説明しようかな、っと。（とはいえ、基本的に自分の備忘用ですけど。）

大学院生向けの論文指南の名著・酒井聡樹『これから論文を書く若者のために』（共立出版、 2002年）に、こんな一節がある。 ではなぜ（自費出版やＨＰ上の論文は）研究成果として認められないのか。それは、 価値の無い論文が氾濫することを防ぐためである。誰でも好き勝手に論文を発表できるのならば、 中身のない論文や独りよがりの論文が世界中にあふれてしまう。これでは、価値のある論文を見つけ出すのが大変である。時間は有限、 貴重な時間を費やして、ゴミの山を調べる暇など無いのだ。 学術雑誌に掲載されていること。それは、その学術雑誌の編集部が、 その論文の価値を保証しているということであり、研究成果として認めているということである。 私たちは、編集部のお墨付きを信用して、限られた読書時間の一部をその論文を読むことにあてる。もちろん、 学術雑誌に掲載されている論文すべてが、本当に価値のあるものとは限らない。真

3月19日(木)にやったセミナーに関して、さっそくにKuwataさんによるまとめが公開されています。 http://return0.dyndns.org/log/2009/03/20#s_2（20日の記事までスクロール） これがまた、とんでもない力作で驚きました。とてもよく仕上がったレポートで、僕の話なんかより、これを読んだほうが分かりやすいくらい。ホントにお疲れさま。どうもありがとう。 Kuwataさん曰く： 今回は内容的に俺がまとめを書けるレベルじゃねえと思っていたら、他の参加者から「また徹夜してまとめ書くんでしょ」と言われてもう後に引けない状況。 僕も含めて皆さん期待していたのは確か。「まとめるんだよね、帰ったら書くんだよね、朝まで書くんだよねー」と、何人かがKuwataさんに声をかけていたけど、彼を殺してしまいかねないから、もうあまり言わないように。 Kuwataさん曰く： さすが

はじめに [更新: 2013/4/22]いくつか更新しました。 [/更新] §1では、グラフ理論のWWW上の資料で「これは良かった。役に立った。」と思えるものをご紹介します。 どちらかというと、グラフアルゴリズムより数学としてのグラフ理論を意識した資料を選びました。 §2では、グラフアルゴリズム等を含むより専門的な書籍をご紹介します。 1. グラフ理論のサイト Reinhard Diestel, Graph Theory Electronic Edition http://diestel-graph-theory.com/basic.html ディーステル先生のグラフ理論のテキストのpdf版です。基礎から応用まで丁寧に書いてあります。 応用についてはほとんど書かれておりませんが、その分数学的な色彩が強い本です。 目次 1. The Basics: グラフの基礎です。次数やパス等の基本的な定

id:nuhsnuh さん経由。知っている人は知っている話でしょうが。 ASLで編集され、Springerから出版されていた　”Perspective in logics"シリーズが、なんと Project Euclid で無料公開されていました。ページはこちら。内訳は Computability in Analysis and Physics; Marian B. Pour-El, J. Ian Richards (1989) Higher Recursion Theory; Gerald E. Sacks (1990) Metamathematics of First-Order Arithmetic; Petr Hájek, Pavel Pudlák (1998) Essential Stability Theory; Steven Buechler (1996) Proper an

昨日までの経緯。 〜じゃんけんの手の種類を2n+1に拡張する方法は(2n)!通りあると思い込んで証明できたと思ったら間違っていた〜 そんなこんなで、じゃんけんの拡張についてあーだこーだ考えているうちに、未解決問題にぶちあたりました。 まずは、手をr種類に拡張した「じゃんけん」を定義し、そこから考えます。 以下の2つの条件が満たされるとき、これをr-じゃんけんと呼ぶことにします。 条件1.r種類ある手のうち、任意の異なる2つの手の間に強弱関係が定義されている（同じ手の強さは同一とする）。 条件2.手によって勝ちやすさ、負けやすさの差がない。言い換えると、勝てる手の数と負ける手の数は、どの手も等しい。 この2条件のもと、手の種類が偶数の場合にはr-じゃんけんが存在しないことは昨日の記事に書いた通り。 手の種類が奇数の場合にはr-じゃんけんが存在することは明らかなのですが、それでは、それは何通り

Best Casino Games For Beginners in 2024 UK Although there are hundreds of games to play in the online and offline markets, we would like to start by introducing you to a few of the easiest casino games to grasp. We’ve narrowed … A valid legal entity is registered No errors in bonuses and availability of games on the site Withdrawal is safe and secure Technical support is available 24/7

Annals of Pure and Applied Logicのオンライン出版*1、こちらから入手可能。 この論文は、集合論 ZF に関する証明論的分析として、非常に重要なものであると考えます。ZFの上で数学を展開することにではなく、ZFがベースとする集合概念（およびZFと言う体系そのものの証明論的性質）について興味を持たれる方全てに一読をお勧めします（特に数学の哲学に興味を持たれる方は必読ではないでしょうか）。 注意： 本エントリーは、佐藤氏の論文の解説ではなく、私が佐藤氏の結果を評価する理由の解説となっております。 この点、ご注意のほどを。 まず、ZFがベースとする集合概念についておさらいをしましょう。おおざっぱな話をすると、ZFの公理は以下の二つのグループに分けることが出来ると思います。 集合の存在保証原理：　包括的な集合の存在保証公理であった包括原理（the comprehens