セキュリティ界の最も手ごわい論客、高木浩光氏。実は、エンドユーザーに正しいセキュリティ知識を伝えるために日々、さまざまな活動をされています。今回は、セキュリティの啓蒙活動に取り組むに至るまでの経緯を中心にお話を伺います。『高木浩光@自宅の日記... 続きを読む
2009/11/25 java 7が斜め上を行っている件について Javaがクソなのは今に始まった話ではないのだが、Java 7でさらにクソミソになるようだ。 New language features in Java 7 « JoeJag :: Tech Java 7にはDiamond Operatorなるものがある。 アイディアとしては... 続きを読む
数理論理学講義ノート 房岡 璋 立命館大学情報理工学部知能情報学科 Ì Ð Ó ÓÒØ ÒØ× ½º ÁÒØÖÓ Ù Ø ÓÒ ½¹½ 論理と言語 ½¹¾ 論理言語 ½¹¿ ÌÖ ËØÖÙ ØÙÖ ½¹ ÓÑÔÙØ Ø ÓÒ Ð ÓÑÔÐ Ü ØÝ ¾º 第 ½ 階述語論理の言語 ¾¹½ 命題論理の言語 ¾¹¾ 述語論理の言語 ¿º モデル論 ¿¹... 続きを読む
私、佐々木彰が、教育・文化・その他に関してへりくつめいたうんちくをかたむける このコーナー。 下の一覧表をクリックして、読んでみてください。 続きを読む
「いじめや仲間はずれのない楽しい学級づくりを」と、学級担任であれば誰しも願う。 「みんな仲良くしなさいよ」といつも言うことも大事ではあるが、それで事足りるぐらいなら苦労はしない(^^;) いじめなどのない学級づくりのためには、学級の子供の人間関係を... 続きを読む
2011年07月04日20:05 カテゴリPC MEMORY_MANAGEMENT【追記あり】 Lenovo G570 433449J購入して1週間ちょっとでブルースクリーン発生。スリープから復帰させるためにキーを叩いたら、Windows エラー回復処理の画面が出て再起動するはめに。bluescreenviewを立ち... 続きを読む
NLog – Advanced .NET Logging NLogにも大分慣れてきた。設定ファイル(NLog.config)もかなり考えられており、内部のパーサと拡張構文(${〜})によるプロパティの設定も柔軟性がある。 例えばログターゲット(Target)のレイアウトプロパティだがフォーマット文... 続きを読む
C#がメインで他もまぁ諸々なブログです おかしなこと書いてたら指摘してくれると嬉しいです(´・∀・`) つーかコメント欲しい(´・ω・`) 「C#できます」と言い放ったあいつがJavaプログラマであることを見分ける10の質問 - 猫とC#について書くmatarilloの日記 仕事で... 続きを読む
図書館業界と,出版業界とに分けて述べましょう。 まず図書館業界から。 No.1さんが国会図書館の例を挙げられましたが,国会図書館ではというより,図書館業界では一般に,図書の目録にページ数を記録するとき,「総ページ数」ではなく「ページの番号(ノンブル... 続きを読む
[編集] 概要 イーサネット規格は技術の進歩に合わせて毎年のように新たな規格が登場している。初期の同軸ケーブルによるLANから発展を続け、今日では世界中のLANの多くがイーサネット規格を採用し、より広い範囲のネットワークであるMANやWANでも一部の技術は「... 続きを読む
エーテル(Luminiferous Aether)は、主に19世紀以前の物理学で、光が伝播するための媒質を表す術語であった。イーサー(Ether、Aether)ともいう。Aetherの語源はギリシア語のαιθήρであり、ラテン語を経由して英語になった。原義は「燃やす」または「輝く」である... 続きを読む
ニュートン力学(ニュートンりきがく、Newtonian mechanics)は、アイザック・ニュートンが創始した一連の物理法則を指し、物体の運動と力の関係を明確に数学として表現する力学の一分野である。1687年に、著書『自然哲学の数学的諸原理』(略称『プリンキピア... 続きを読む
圏論(けんろん、category theory)は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる。 数学のおおくの分野、また... 続きを読む
SIMD (Single Instruction Multiple Data シムド[1]) とは、演算装置において1回の命令で複数データに対する処理を同時に行うもの。演算装置設計手法の1つ。 例えば、通常32ビットのデータを受け付けるプロセッサなら128ビットのデータを4回のクロックで計算す... 続きを読む
双子のパラドックス(ふたごのパラドックス)とは、特殊相対性理論(1905年)での高速で移動する際に発生する時間の遅れに関して提案されたパラドックス。1911年にアルベルト・アインシュタイン本人が提案した、とも、同年ポール・ランジュバンが提案したとも言... 続きを読む
[編集] 特殊相対性理論の誕生 20世紀初頭の物理学では、力学の理論的な帰結であるニュートン力学と、電磁気学の理論的な帰結であるマクスウェルの方程式が矛盾することが理論面での大きな問題となっていた。 特殊相対性理論的現象 1.電車内で人が走る 2.車外か... 続きを読む
ニュートリノは電荷を持たず、のスピンを持つ。 また質量は非常に小さいが存在することが確認された。 ニュートリノには電子ニュートリノ (νe)、ミューニュートリノ (νμ)、タウニュートリノ (ντ) の3世代とそれぞれの反粒子が存在する。 これらは電子、ミュー粒... 続きを読む
ヒッグス場とは、1964年にエディンバラ大学のピーター・ウェア・ヒッグスによって提唱された、素粒子の質量獲得に関する理論に現れる場についての仮説である。ヒッグス場によって質量を獲得するメカニズムをヒッグス機構と呼ぶ。[1] ヒッグス機構では、宇宙の初... 続きを読む
10日程前に速報した「新TOEIC TEST 総合対策特急 正解ルール55」(森田鉄也/朝日新聞出版) の続報です。ここ暫くはLISTENING/公式問題集に時間を取られていたため、なかなか手が付けられなかったのですが、地下鉄駅のベンチ、病院や散髪屋さんでのでの順番待ち... 続きを読む