最上の日々 - 数学を表現するのに最適な媒体はコンピュータである
▼ 数学の表現の媒体としてのコンピュータつづき あのあとyoriyukiさんから有用な示唆をもらいました。 （これだけ書くのも大変だろうなあ。いつもお世話になってます。） 証明チェッカのあちら側とこちら側 私的にみたハイライトはこの辺りかな： 論理に関する部分はうまくいかなそうな気が(直観的には)します。言語や論理について一般の人が抱いている直観は誤っているか、すくなくとも混乱していることが多く、そのまま形式化しようとするとうまくいかないからです。例えば、名詞は何か対象を名指している、といった考えがその例になるでしょう。この場合、何の対象も指さない時や、複数の対象に当てはまるときにどうするか、といった問題が考えられてないのですが、にもかかわらず強固な直観としてなかなかここから自由になれないようにに思います。 言い方を変えると、自然言語に近いもの純粋に形式的に取り扱おうとすると
九尾のネコ鞭 - 道徳じゃなくルールでしょ
うーむ。忙しくてちょっとタイミングを逸してしまったけど、日銀総裁の村上ファンド話。 テレビで「庶民が低い銀行利率で我慢しているのに、日銀総裁は村上ファンドで濡れ手に粟。実にけしからん」なんて言ってて、驚かされる。しかも、複数の番組でだよ？リスクが違えばリターンが違うってのは常識じゃなくなってしまったのか？ また、それをうんうんと頷くコメンテーターがねぇ…。まぁ、テレビは「庶民の味方」じゃなくっちゃ、商売にならんということか。それこそ「拝金主義」以外の何者でもないと思うけど。 どーも、最近は市場原理主義に対するバックスラッシュで「アンチ市場原理主義」が台頭しつつあるようだ。まぁ、それは別に良いのだ。富をどの程度まで再分配するべきかってのは人それぞれに違うから、こういう動きが出て来るのは理解できる。 しかしながら、この「アンチ市場原理主義」が、「道徳」の衰退を嘆くって形で出てきていることが気に
Passion For The Future: 世界初 地図記憶法―あなたも記憶の天才!
世界初 地図記憶法―あなたも記憶の天才! スポンサード リンク ・世界初 地図記憶法―あなたも記憶の天才! この記憶法はとても簡単で誰でもできる。 円の中に十字を書く。その中心になる地名を決めたら、その上下左右、斜めの線上に、対応する地名を書く。複雑な地図でも、こうすることで、簡単化できる。作図することで記憶にもよく定着する、というもの。 確かに、曖昧だった関西地方の地理や、アジアの国々の配置が数分で記憶できた。読むだけでは弱いが、実際に作図してみると、ほとんどの人はできるようになるのではないか。歴史を勉強したい人や、地域を回る営業マン、国際関係の教養強化（場所を知っているだけでもだいぶ違う）に役立つ。２，３個覚えれば本代の元はとれるだろう。 この記憶法あまりに単純なので、やり方を解説する本文は全体の１割もない。残りのページは日本や世界のさまざまな作図練習問題である。最後にわかりやすい地図
美白肌になるには？紫外線シーズンの正解スキンケア [スキンケア特集] All About
美白肌になるには？紫外線シーズンの正解スキンケアシミ、くすみ、ニキビ跡など年齢を重ねるごとに忍び寄る黒い“影”。意外と勘違いしがちな紫外線対策、美白肌のためのスキンケア、そして美白化粧品選びに対する正しい基礎知識を、美容のプロが解説します。
![美白肌になるには？紫外線シーズンの正解スキンケア [スキンケア特集] All About](https://cdn-ak-scissors.b.st-hatena.com/image/square/edd68c1fddf0a1000172daec15e1b869183bc521/height=288;version=1;width=512/https%3A%2F%2Fimgcp.aacdn.jp%2Fimg-a%2F1200%2F900%2Faa%2Fgm%2Farticle%2F4%2F4%2F1%2F7%2F3%2F3%2F201604111947%2Ftopimg_original.jpg)
text-autospace－スタイルシートリファレンス
text-autospaceプロパティは、W3Cで審議中の仕様をInternet Explorerが独自に採用したもので、 日本語・中国語・韓国語などの表意文字と、アルファベットなどの非表意文字・数字との間隔を指定する際に使用します。 ■値 none 特に間隔を空けません。 ideograph-alpha 日本語・中国語・韓国語などの表意文字と、アルファベットなどの非表意文字との境い目に間隔を空けます。 ideograph-numeric 日本語・中国語・韓国語などの表意文字と、数字との境い目に間隔を空けます。 ideograph-parenthesis 日本語・中国語・韓国語などの表意文字と、半角の(括弧)との境い目に間隔を空けます。 ideograph-space 日本語・中国語・韓国語などの表意文字に隣接するスペース文字の幅を拡げます。 HTMLソース <html> <head> <
未パッチFirefoxはマルウェアより危険？
企業のセキュリティを脅かし得る「脆弱性を持つ人気アプリケーショントップ15」の上位にはFirefoxやiTunes、Skypeなどが名を連ねている。 マルウェアよりもパッチを当てていないFirefoxやiTunesの方が危険――エンドポイントセキュリティ製品を手掛けるBit9がこのような調査結果を発表した。 同社は6月20日、既知の脆弱性を抱えた人気アプリケーショントップ15のリストを公表した。この中にはFirefoxやiTunes、Skypeなどが含まれている。 これらのアプリケーションが会社のPCにインストールされていても、IT部門がそれを把握していない、あるいは管理していないことが多いため、企業のコンピューティング環境に深刻なリスクをもたらす恐れがあると同社は指摘している。 Bit9は以下の特徴を持つアプリケーションをトップ15リストに選んだ。 コンシューマー分野で人気があり、個人に
Parallels Desktop for Mac
Parallelsをひと言で表すと、Intel版Mac OS X上に仮想PC環境を構築し、WindowsなどのOSを動作させる仮想マシンソフト(PCエミュレータ)となる。仮想マシンソフトにおいては、メインで動作しているOS(この場合Mac OS X)を“ホストOS”、その上で動作するWindowsなどのOSを“ゲストOS”と呼ぶ。 Macを長年使っている人なら、同種のソフトとしてマイクロソフト(株)の“Virtual PC”シリーズなどが思い浮かぶだろうが、実は両者は大きく異なる。その差が最も顕著に現れるのは動作速度だ。 PCの世界ではインテル製の“x86”アーキテクチャ(互換)のCPUが採用されている。これに対して、従来のMacはCPUに“PowerPC”を採用していた。両者の命令セットには互換性が無いため、Mac版のVirtual PCはx86アーキテクチャの命令をすべてPowerPC
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
void GraphicWizardsLair( void ); //