kazz の数学旅行記

数学の話題を中心に, 日々の知的活動の旅路を紹介します.

日記

わかってない奴に言われたくない

それは、私にとっても、同じことです。

わからないとは何か?

学校の勉強でも会社の仕事でも、 『わからない事はそのままにしないで、質問しなさい』 と言われます。 しかし、指導を受ける側の人間が失敗した時、 なぜ失敗したのかと聞くと、 『わからなかったから』 と言う答えが返ってくる場合があります。 そう言う時…

継続は力なり

僕は 20歳の頃から数学の勉強を始めて、 今年で 48歳。 実に、28年も、継続的に、数学を勉強しています。 もちろん、数学といっても、大学以上のレベルの数学です。 数学系の学部や院に合計 7年間在籍し、博士号を取得したのは、 ほんのささやかな通過点に過…

数理論理学入門 pdf 更新

数理論理学入門 pdf 更新しました。表の位置がおかしかったので、訂正しただけですが。

一番ダメな勉強法

この世で一番ダメな勉強法はと言うと、 暗記そのものが目的となっている勉強です。 学問の勉強は、その学問の仕組みを理解しなくてはなりません。 暗記しなくちゃ、と思っている人は、 『暗記』というものから、離れた方がいいですね。

520 の日

今日は、中国では恋人同士の記念日です。 プチ・バレンタインデーのような感じです。 以下は、we chat のタイムラインへの、彼女の投稿。 520 中国語では、520 の発音が、I love you に似ているため、 5/20 が恋人同士の記念日となります。 そのほかにも、旧…

Mac 復帰

昨日, Mac が修理から戻ってきました. Mac はやはり, 使いやすいです. 今回の修理は, ディスプレイの傷の修理でした. 結局は, ディスプレイを交換するしかなかったようです. 予備に PC を購入するとしたら, Mac Book Pro / Air の安いやつがいいかもしれませ…

LaTeX

予備の PC に LaTeX をインストールするのは、あきらめました。 PC がすごく性能が悪く、texwork を手順通りに設定しても、 ファイルがコンパイルされないからです。 だからウィンドウズはダメなんです。 Mac が返ってくるまで待ちます。

LaTeX インストール中

今、LaTeX を windows パソコンにインストール中です。 Mac を修理に出すので、その間の作業を、予備に買っておいた、windowsで行います。

勇気

自分だけは安全な場所にいて動かず、相手にだけは動いてリスクを冒してもらおうとする態度。 又は、他人の責任でしか動けない、という態度。 最も勇気のない、ヘタレた態度だと思います。 この種の人間のこの種の態度は、僕には、すぐにわかります。

人の気持ち

人の気持ちというのは、すごく難しいです。 私自身、ロボットみたいなところがあって、 なかなか人の気持ちがわからないところがあります。 それでも、恋人がいるというのは、彼女の方も、 そういう、変わった人間なのだろうか、と、 今にして思います。

クルマ

僕は車には、一切興味がない。 それでも、車を持たなくてはならないと思っているのは、 生活の必要性に駆られてだ。 地元は交通が不便で、車がないと会社に出勤できない。 もっとバスとか電車とか地下鉄が発達していれば、 車なんぞ運転しなくてもいいのに、…

頭を使う仕事

今の仕事は入社半年を経過しました。 基本的に頭を使う仕事ですが、半年間やってきて、つくづく思うこと。 頭を使っているときに上司からどやしつけられると、 私は恐ろしくなってしまって、何も考えられなくなってしまうということです。 『恐ろしさに我慢…

数学ノートの公開サイト変更

今まで数学のノートを公開していた、Yahoo Box が、 今年の 9月ごろに新規公開の機能を停止することになりました。 従って、重要な数学ノートにつきましては、 今後は、research gate という研究者専用 SNS にて、公開していきます。 ただ、私の職業そのもの…

好きなタイプ

男性というのは単純な生き物で、男性が言葉でいう好きなタイプの女性と 本能的に好きなタイプの女性は一致しています。 男はすごくわかりやすいです。 しかし、女性というのは複雑な生き物で、女性が言葉でいう好きなタイプの男性と、 本能的に好きなタイプ…

手順

私は、昔から、単純暗記というものが苦手です。 『些細なことでも写真機のように明白に覚えている』 という人が、羨ましくて仕方がありません。 それでも、学校の勉強はできた方です。 しかし、学校の勉強しかできません。 仕事でよく、『忘れる』ことがあり…

面粗さの勉強

1週間ほど前から、面粗さのパラメーターの勉強を自宅でやっていたのですが、 勉強は昨日の夜で終わりました。 結局、私の業務では、あそこまで細かい知識は必要ないのですが、 『面粗さ』と言う概念の全体像を掴みたかったのです。 数学的な内容については…

健康のために、運動をしよう!

私は健康のために、定期的に運動をしています。 運動とは以前話題にした武道のことですが、一人でやってます。 身長 176cm, 体重 60kg, 体脂肪率 9%台。 47歳としては、いいほうだと思いますが、 問題は、健康診断の時に、必ずと言っていいほど引っかかる、 …

今日の数学 20200126

今日は, 有限の立場での自然数論で, 素数冪について, 定式化をしていました. 素因数分解の存在と一意性を, 有限の立場での自然数論で, 定式化をするのが, 当面の目的です. 中期的な目標は, 第一不完全性定理の, 厳密な定式化です. が, きりのいいところで, …

認印作成

今日、認印を発注しました。 私が今まで使っていた認印は、中学校の卒業記念でもらったもので、 もう、朱肉の乗りも悪くなってきていました。 今の仕事で、時々、認印を使うので、 いい加減、買い換えないと、不便で仕方がないと思っていたところです。

体育会系の誤解

私は武道をやっていますが、人に 『武道をやっています』 なんて言おうものなら、ほぼ 100% の確率で、体育会系の人間と誤解されます。 それはもう、とんでもない話で、私が運動系のクラブに所属していたのは、 大学 1年生の時上半期、つまり、半年だけ(武…

オーディオの掲示板

何人かの人から誤解を受けていたようです。 副業の仕事上、私がオーディオと関わりがあるのは事実です。 しかし、2ch とか 5ch の掲示板の、 オーディオ関連のスレッドに書き込みをしたことは、 私は一度もありません。 人違いですよ。

表面粗さの定義

最近, 仕事の勉強もしているのですが, その中で, 表面粗さという言葉を調べていました. 物体表面を磨いた時に, どのくらい, ざらざらしているのかを見る指標です. ここでは, 私自身の忘備録も兼ねて, 粗さの指標, Ra, Rz についての解説をします. Ra, Rz に…

そもそも、何がわからないのか?

仕事で、 『わからないことがあったら質問してください。』 よく言われます。 しかし、そもそも、質問するべき事柄の存在そのものが 『分からない』場合があります。 そういう場合、大抵、何も質問する必要がないと判断して、 業務の処理を進めてしまい、あ…

LAVRY DA 11 の、一見、不具合に見える現象について。

私が所有している DA コンバーターの LAVRY DA 11。 プロケーブルさんで購入したものだが、すごく音質がいい。 ところが、ここ 2, 3ヶ月くらいの間、音楽再生中に、 突如、電源が落ちるという現象に見舞われていた。 これはどういうことなのか? プロケーブ…

今日の勉強 2019/12/22

今日は, 超数学的自然数の演算 (加法, 乗法) の性質をまとめていました. 竹内外史先生の『証明論入門』で勉強したことがありますが, 自分のノートにもまとめておきたかったのです. この作業はしばらく続きます.

マウス

最近、マイパソコン用に、マウスを買いました。 僕はパソコンを 2台持っているのですが、 そのうちの 2台目用のマウスです。 2台のうちの 1台目の方は、Mac Book Pro (early 2015 version) で、こちらの方は、はっきり言って、マウスは必要ありません。 Mac …

数理論理学のテキスト

僕は博士前期課程に在籍時, 数学基礎論のセミナー (自主ゼミ) を主宰していました. 希望者を募って, 数学の基礎付を目的とした, 等号述語論理の一般論, そして, 『定義による保存拡大』の一般論を, セミナー形式で, みんなで勉強していたことがあります. (も…

休日の趣味

私は 20歳の頃から今に至るまでの 26年間、 ほぼほぼ毎日、大学数学の勉強を続けています。 ただし、今はきちんとした仕事をしていますので、 1日の勉強量はガクンと減りました。 大学数学の他にも、聖書を文語訳で読んだり、 化学や語学の勉強をしたり。 基…

google 検索アルゴリズム

ここ数ヶ月、google 検索アルゴリズムが、大幅に改善されたように思えます。 いろいろ思うところはありますが、 西暦 2000年初頭に比べて、随分と様変わりしましたね。