法人の会計監査について考えました。「コンパイラのうちとそと」（共立）より。比喩は明らかと思う。－広い分野カバー、対象分野を意識、手順を具体的に述べる、順序記述のために論理的な判定・手順の場所に目印・目的の場所に手順が移る、何を入れると何が…

翻訳技術について考えました。「コンピュータ・アーキテクチヤ」（共立）より。－システム的概念、データの流れ・制御法・論理設計・物理的実現などの機構とは分離した概念的構造・機能動作、基礎技術・開発組織・他の組織・ユーザ、目的指向、ハードとソフ…

聖書にラザロの復活の場面がある。読むたびに疑問に思うことがある。ご意見を寄せて頂いて分かち合いが出来ればと思う。珍しくイエスが感情を顕わにしておられるのである。人々がイエスの死を悲しんでおられるのを見て憤られた、とあり続いて、ラザロの死を…

１ 英語ではｃｏｕｎｔａｂｌｅ、ｕｎｃｏｕｎｔａｂｌｅを区別する。数と量である。Ｃａｎｔｏｒの対角線論法は１９Ｃである。まさか英語でＣａｎｔｏｒは無いと思うが、Ｅｕｃｌｉｄ‘ｓ Ａｘｉｏｍに「部分は全体より小さい」がある。濃度という集合に付随…

・数Ｃ行列の１次変換について１ 直線ｙ＝ａｘについてのｒｅｆｒｅｃｔｉｏｎを、正射影を使って解く。２ 原点中心、角度θの回転を、直線ｙ＝ｔａｎ（θ／２）に関するｒｅｆｒｅｃｔｉｏｎとして解く。・英語の教材としてのタネンバウムのＯＳ本について１ …

今年の男子決勝、第２セット最終３ゲームを見た。実況は現在ナダルの２セットアップで勝敗の行方は不明だが、前回の日記を受けて幾つかコメントを綴った。 来年のセンターコートに立つに相応しいのは、一人だけらしい。ナダルの左ｖｓナダルの右。それ程、ナ…

サミットがいよいよ開幕だそうである。主催国の国民として次の点をお願いしたい。１ ｓｕｂｍｉｔｔｅｄ ｓｕｍｍｉｔにしないで欲しい。従属関係にｓｕｂｊｅｃｔｅｄ ｂｙされた議論をしても、それは単なる思惑や利害の表明でしかない。独立に対等な立場で…

高校生に２次関数の平方完成を教えた。オーソドックスな方法の他に、（１）微分を使って軸を出すもの（２）解と係数を使って軸を出すもの（３）２・１次の項でまとめて、和・差の形に持って行くもの。などがある。 （１）（２）の何れにしても、－（ｂ／２ａ…

題材の都合で、ＳＶＯ，ＳＶＣ；Ｉｔ～ｆｏｒ～ｔｏ～．を同時に教えた。日本人にとって、ＯとＣの区別は＝だなどと言われても構造が一緒なのだから分かりづらい。対し、形式主語は日本語に全く無い。言い換え、Ｔｏ～（Ｓ）／ｉｓ（Ｖ）／～（Ｃ）／ｆｏｒ…

１ 中学１、３年数学 ”連続する２自然数をｎ、ｎ＋１、奇数を２ｎ＋１と置く”を見て違和感を感じた。前者は最初の自然数を未知数をｘと置くと同じ感覚で置いて、すると次がｎ＋１となる、だろうし、後者はｎ＝１、２、・・・と置くと奇数が生み出される、な…

＜去年のウインブルドン決勝、フェデラーｖｓナダルを見て今年を占う＞ 今年も熱い夏がやって来た。英国のウインブルドン、ザ・センターコートである。錦織は既に敗退した。女子を別にすれば、男子決勝に既に目は行っている。 まず間違いなく、フェデラーと…