なかのにっき
最新版はこちら。
突っ込みは各日付の BBS エントリのほか、
メール (nakano@st.seikei.ac.jp) や
フォーム
からどうぞ。
なおスパム除けのため、BBS 機能には
緩い認証を入れて
います。
検索エンジンから来た方は、エンジンの方のキャッシュを見るか、
下の簡易検索を試してみてください。
hns - 日記自動生成システム - Version 2.19.5
#1
バイクリコール・オイル交換
バッテリーが弱ってるね、と言われた。
#2
山本さん二次会
18:00 から外苑前 AQUAVIT にて。
翌日があったので、恐縮ながら早めに失礼。帰りは雨に。
新宿で 10-17。声が枯れた。
#1
科研費申請書
賀屋さんチェックを反映、typo 修正、文言の微修正を経て完了処理。
#2
セミナー後始末
フォント埋め込みの pdf を作ってメール。
新井くんの明日のやつ。
#4
大量にメール
まだ残件がいくつか。ごめんなさい。とほほ。
#5
年末調整
作った。
さぼって 10:30 頃会場入り。
B 会場の午前のセッションで新井くんの発表、
新井くん関谷くんと学食で昼を食べ、
メーカー講演〜ポスターを聞いて撤退。
入口側のバルブが渋い由、佃さんから連絡いただく。
#3
[labo] boss と chat
研究室のもろもろの状況について。
続き。大量に。まだおわらん。すみません…
採点から。
配布試料のペラを書いて終わり。
だんだん持ち運ぶ一式が重くなってきた…
#1
[dept] 線形数学演習 II (EMa) 4 回目
微分方程式の終わりまでと定積分のサワリ。
出した。
賀屋さんにコンタクトして修理依頼、
利用研究室の各先生にメール、
現場に掲示。
サービスがギガント２からメジャーという名前になってた。
こちら
より、今回はフナキさんという方にお聞きしてみた。
個人だと担当者変更の際に契約ごと変更しないといかんなど面倒なので、
法人で契約がよろしい、任意団体でも ok、とのこと。
今日申込すれば明日夕方に佐川で書類を発送してくれる由。
手順としては、Do レジでの DNS 変更も手動でやってしまい、
アカウント作ってメール取れるようにすればいいでしょう、とのこと。
月曜に到着を確認して、事務局に出かけてやってくれば良いか。
月曜夕方は研究室のミーティングがあるのでちと辛い。火曜午前かな。
ポスターから入り。
入口の喫煙エリアにいらっしゃった斎藤先生・井上先生とちょっとお話しして会場へ。
その後 B 会場を最後まで。
ちらっと懇親会に誘っていただいたが、
どうも風邪っぴき気味だったので撤退して直帰。
午前だけちょっと聞いて撤退。
エビサワさんへダイヤペン、手袋、ケース。
ワカテックから Si 基板。
ボードが到着していたので指示に従って作業。
スペクトルは取れるのだが、
ちょっと微妙な点が残ったのでメールして問い合わせ。
スペックについての質問に答えていただいた。ありがたや。
#6
[labo] VP 大橋さんに電話
TP のメンテが終わったとのことで、
月曜に取りに行き、次のを預ける算段をする。
てなわけで管財へ臨時駐車も依頼。
web にも用紙がありますよ〜と原口さんに教えていただく。そうだったのか。
#7
[labo] 新井くんの真空予稿
膜厚依存性のグラフを見ると、どうも微妙な点が残ったので、
もっぺんしっかり測ってみましょう、ということに。苦労をかけてすまぬ。
#8
[receipt] 紀伊国屋 BC 5,103 円
- 数学ガール ゲーデルの不完全性定理
- エンジニアのためのＷｏｒｄ再入門講座
- ＰＣ自作の鉄則！〈２０１０〉
荷物・郵便受け取り、片付け掃除、帰宅後にクリーニング、洗濯。
#2
柳澤くん結婚式
赤坂アプローズスクエア迎賓館にて 15:15〜18:30 くらい。
ややメルヘンに寄っていた気もするが、良い式だった。
ご飯も美味しかったし。
久々に檜垣くんや山崎くん相澤くんに会ったなあ。
某所へ原付で往復。
昼食後もの凄い睡魔に襲われて起きたら夕方。
大学に行こうと思ったんだが…
#3
鼻水・くしゃみ
止まらん。風邪か花粉症か。
#4
[book] 数学ガール ゲーデルの不完全性定理 結城浩
読んだ。一気読みできたのは面白かったということなのだろうけど、
やはり 2 巻と同様、微妙に食べ残し感が残る。
高校生のレベルから高等数学に挑戦している以上当然なのだろうけど。
形式的証明の枠組みの中で、論理式(列)と整数を一対一対応させることにより、
自己言及型の述語の (枠組みの中での) 不完全性を導く、
というのが最終章。
諸々の準備はしてあるものの、
やはり一気に突破した 10 章が極端にヘビー。
なかでも 46 の定義からなる証明機械の構成がいちばんしんどかったが、
実際の不完全性の導出には証明機械の一部しか使われない
*1
のも、いまいち苦労に見合わなかったなあ、という感じ。
3 巻目だし、前作のフェルマーもそうだったけど、
本に通底する大きな主題が必要、というのは理解できる。
けど「高校生でも」全体が理解できる内容の中に現れる
数学の構造の美しさをキッチリ見せてくれた第 1 巻が、
これまでの 3 巻の中では一番良かったように思う。
いや、読んでる最中はおもしろかったんですけどね。
特に自然数のペアで整数を構成するというのは、
いままで知らなかったんで勉強になった。
*1: まあ下部から構成していった上澄み、ということなんだけど。
ゲーデルの論文の構成にも沿っているとのことだし。
行きの途中に寄って、大阪真空の TP のメンテ品をゲット。
修理報告書は stock へ。
帰りにも寄って、次のを預けた。
#2
[labo] XPS イントロターボ交換
てなわけで松野・近藤・関谷のみなさんに手伝っていただいて交換作業。
スタッドで無理矢理繋げているところなので結構しんどかった。
最後に RP の in/out を逆に繋ぐという大チョンボ。
漏れてくれて本当に助かった…
15:00〜16:20。厳しい内容になったが、
それだけ皆さん高度な領域にさしかかった証拠でもある。
がんばってください。
講演会関連、あと明日の切替の準備など。
メールが止まったという話が別方面から入ってきたが…大丈夫かな…
喉がやられた。どうも花粉症とは違うらしい。やばいな。
暖かくしてると多少楽なので、早く寝よう…
原付で。また迷った。
10:30 入り、11:40 くらいに out。
fsv に pop アカウント作成、
do レジ切替、事務局の MUA 3 台分の設定。
DNS が伝播したあたりで pop/smtp 先は要変更。週末の編集部会か。
大学に戻ってレポートのメール。
あれだ、一斉メール送信のソフトも切り替えないといかんのだな。
ふっ酸処理にお付き合い、SEM のレクチャ、XPS のお手当。
アルバックファイにレポート書き。
#3
[labo] ESCA イオン銃位置合わせ
本体のネジ調整が必要になった。ちょっとターゲット電流が少ないな？
BeamV C.L. O.L. PosX PosY ion target
4kV 317 359 +1.0 -1.2 163.7nA 2.64uA
3kV 335 369 +1.0 -1.1 104.3nA 1.57uA
2kV 365 397 +0.9 -1.0 57.8nA 0.83uA
1kV 454 469 +0.0 -0.2 22.8nA 0.32uA
#4
メール書き
平謝りのメールを 2 件。ほんとはもっと書かないといかん先もあるんだが。
もう俺はだめだ。
以上、10 日分です。
タイトル一覧
中野武雄 (NAKANO, Takeo) <nakano@st.seikei.ac.jp>
Since 1999-10-07
RSS feed,
更新時刻,
LIRS エントリ,
アクセス制御
(解説)
中野のホームページへ