ハリイカの焼売と中華炒め ハリイカをよく、見かけるようになりましたよ。生け簀で、泳いでいたものを一杯購入しました 立派な大きな墨袋や肝は冷凍保存して 柔らかな身は季節のお豆、お野菜と合わせて中華の炒めものに。新鮮なにんにくの茎は刻み、香り高く食欲そそられますね 下足はミンチにし…
In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a specific example of a mathematical object in order to prove that an example exists. Contrastingly, in classical mathematics, one can prove the existence of a mathematical object without "finding" that object explicitly, by assuming its non-existence and then deriving a contradiction from that a
Shinji Kono @shinji_kono 特に数学だけど、今の集合論偏重は良くない。選択公理は記号論理的要求だけど、それなしでもかなりのことが出来るわけだから、無しで早めに教えられることは多い。εδに関しても、それが必要な精密な議論の前に出来ることが沢山ある。 2010-03-06 22:36:54 Shinji Kono @shinji_kono 中学の頃に「円の接線は直径に直交する」ってので「接線って何?」ってのが問題になって「円上の二点を通る直線の二点を近づける」ってのを教える時間があったり、物理教師がΔxを躊躇なく、εδ抜きで教えるって方が絶対良い。それを妨げているのが指導要項。 2010-03-06 22:41:38
ふだん何気なく目にしている映画字幕だが、完成版に至るまで、さまざまな人の手を経て作られている。本年度アカデミー賞の呼び声も高い映画「ソーシャル・ネットワーク」の日本語字幕版について、制作を担当したソニー・ピクチャーズエンタテインメントの小澤純子さん、字幕翻訳を担当した松浦美奈さんに制作過程を語っていただいた。 翻訳者も、制作スタッフの一員 5億人ともいわれる世界最大の会員数を誇るSNS(ソーシャル・ネットワーキング・サービス)、Facebook。ハーバード大学在学中、19歳でこのFacebookを創業し、億万長者となった実在の人物マーク・ザッカーバーグと、彼をめぐるさまざまな人間ドラマを描いたのが映画「ソーシャル・ネットワーク」だ。スピーディな展開とセリフの応酬で、息つく間もない2時間の作品。字幕の総数は2,163枚、通常作品の倍近くにもなり、およそ3〜4秒に1回、字幕が出る計算になる。翻
昨今、コスト削減を目的としてITインフラの最適化に取り組む企業が増加しています。しかし、この2、3年で聞こえてくるキーワードは大きく変化しており、従来の「仮想化統合」から「プライベートクラウド」に変わってきました。また、仮想化統合やプライベートクラウドを導入したユーザーの中からも、「運用が回らない」、「運用に課題がある」という声も聞こえてくるようになりました。本連載では、プライベートクラウドの概要を理解しながら、プライベートクラウドを構築し、最適に運用するための方法について解説します。 プライベートクラウドの長所とは そもそも、クラウドコンピューティングという言葉が世に出始めたのは、2006年。GoogleのCEOであるエリック・シュミットが提唱したと言われています。 クラウドコンピューティングとはCPUやメモリ、ディスクなどのコンピューターリソースを一部の事業者が集中して提供し、利用企業
本研究は、構成的逆数学のための形式体系の調査・提案・評価・改良を目的として行われた。型概念に基づいた体系、および集合概念に基づいた体系、それぞれに対して様々な原理(例えば、連続性原理)、および位相空間・一様空間の定理を対象に調査を行った。その結果、集合概念に基づいた体系としては、構成的集合論(CZF)およびその部分体系が、有力な候補であることが分かった。また、型概念に基づいた体系としては、単調完備定理を詳細に分析することにより、構成的解析体系(EL)の部分体系を構成的逆数学のための形式体系として提案した。 : The project aimed at research, proposal, evaluation, and improvement of formal systems for constructive reverse mathematics. Formal systems ba
TOP ==> FCS Seminar ホームページ 1996/7 複雑系論(大学院理学研究科数学専攻)・計算数理学(数学科4年) 構成的数学入門:トポスと直観主義論理(辻下 徹) Last updated 98.9.9 概要 解説 参考書 資料 概要 直観的内容をもつ概念を直観的内容を保ったまま数学的に展開しようとすると き、整合性に問題が生じ空なもの・偽なものとして捨てられる危険性が高い。 この不都合の原因の一端が、数学で通常用いられる古典論理が論理系として強 すぎることにある場合も多い。論理を弱める事で初めて存在を許される概念が、 直観的内容に即した数学的議論を可能にすることをトポス理論は明らかにした。 これを、複雑系の数学的研究の今後に新しい可能性を与えるものと考え、構成 的論理の詳細とそれによって可能となる数学的概念の例を学び、複雑系を捉え る新しい数学的概念・数学的議論構築の足
『るびま』は、Ruby に関する技術記事はもちろんのこと、Rubyist へのインタビューやエッセイ、その他をお届けするウェブ雑誌です。 Rubyist Magazine について 『Rubyist Magazine』、略して『るびま』は、日本 Ruby の会の有志による Rubyist の Rubyist による、Rubyist とそうでない人のためのウェブ雑誌です。 最新号 Rubyist Magazine 0058 号 バックナンバー Rubyist Magazine 0058 号 RubyKaigi 2018 直前特集号 Rubyist Magazine 0057 号 RubyKaigi 2017 直前特集号 Rubyist Magazine 0056 号 Rubyist Magazine 0055 号 Rubyist Magazine 0054 号 東京 Ruby 会議 11 直
Go to new page.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く