なかのにっき

最新版はこちら。 突っ込みは各日付の BBS エントリのほか、 メール (nakano@st.seikei.ac.jp) や フォーム からどうぞ。 なおスパム除けのため、BBS 機能には 緩い認証を入れて います。 検索エンジンから来た方は、エンジンの方のキャッシュを見るか、 下の簡易検索を試してみてください。


hns - 日記自動生成システム - Version 2.19.5

先月 2009年11月 来月
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30
Namazu for hns による簡易全文検索
詳しくは 詳細指定/ヘルプを参照して下さい
検索式:

2009年11月01日() [n年日記]

#1 バイクリコール・オイル交換

バッテリーが弱ってるね、と言われた。

#2 山本さん二次会

18:00 から外苑前 AQUAVIT にて。 翌日があったので、恐縮ながら早めに失礼。帰りは雨に。
コメント [全部読む/投稿する]

2009年11月02日(月) [n年日記]

#1 [stock] セミナー

新宿で 10-17。声が枯れた。

#2 [receipt] 交通費 480 円

コメント [全部読む/投稿する]

2009年11月03日(火) [n年日記]

#1 科研費申請書

賀屋さんチェックを反映、typo 修正、文言の微修正を経て完了処理。

#2 セミナー後始末

フォント埋め込みの pdf を作ってメール。

#3 [labo] 発表練習

新井くんの明日のやつ。

#4 大量にメール

まだ残件がいくつか。ごめんなさい。とほほ。

#5 年末調整

作った。
コメント [全部読む/投稿する]

2009年11月04日(水) [n年日記]

#1 [vsj] 講演会初日

さぼって 10:30 頃会場入り。 B 会場の午前のセッションで新井くんの発表、 新井くん関谷くんと学食で昼を食べ、 メーカー講演〜ポスターを聞いて撤退。

#2 [dept] 液体窒素

入口側のバルブが渋い由、佃さんから連絡いただく。

#3 [labo] boss と chat

研究室のもろもろの状況について。

#4 [labo] メール

続き。大量に。まだおわらん。すみません…

#5 [dept] 数学演習準備

採点から。
配布試料のペラを書いて終わり。 だんだん持ち運ぶ一式が重くなってきた…
コメント [全部読む/投稿する]

2009年11月05日(木) [n年日記]

#1 [dept] 線形数学演習 II (EMa) 4 回目

微分方程式の終わりまでと定積分のサワリ。

#2 [dept] 年末調整

出した。

#3 [dept] 液体窒素

賀屋さんにコンタクトして修理依頼、 利用研究室の各先生にメール、 現場に掲示。

#4 [vsj] サーバ申込

サービスがギガント2からメジャーという名前になってた。 こちら より、今回はフナキさんという方にお聞きしてみた。 個人だと担当者変更の際に契約ごと変更しないといかんなど面倒なので、 法人で契約がよろしい、任意団体でも ok、とのこと。 今日申込すれば明日夕方に佐川で書類を発送してくれる由。 手順としては、Do レジでの DNS 変更も手動でやってしまい、 アカウント作ってメール取れるようにすればいいでしょう、とのこと。 月曜に到着を確認して、事務局に出かけてやってくれば良いか。 月曜夕方は研究室のミーティングがあるのでちと辛い。火曜午前かな。

#5 [vsj] 講演会

ポスターから入り。 入口の喫煙エリアにいらっしゃった斎藤先生・井上先生とちょっとお話しして会場へ。 その後 B 会場を最後まで。 ちらっと懇親会に誘っていただいたが、 どうも風邪っぴき気味だったので撤退して直帰。
コメント [全部読む/投稿する]

2009年11月06日(金) [n年日記]

#1 講演会

午前だけちょっと聞いて撤退。

#2 [labo] 発注品

エビサワさんへダイヤペン、手袋、ケース。

#3 [labo] 到着品

ワカテックから Si 基板。

#4 [labo] ESCA 復帰

ボードが到着していたので指示に従って作業。 スペクトルは取れるのだが、 ちょっと微妙な点が残ったのでメールして問い合わせ。

#5 [labo] パルス電源の件

スペックについての質問に答えていただいた。ありがたや。

#6 [labo] VP 大橋さんに電話

TP のメンテが終わったとのことで、 月曜に取りに行き、次のを預ける算段をする。 てなわけで管財へ臨時駐車も依頼。 web にも用紙がありますよ〜と原口さんに教えていただく。そうだったのか。

#7 [labo] 新井くんの真空予稿

膜厚依存性のグラフを見ると、どうも微妙な点が残ったので、 もっぺんしっかり測ってみましょう、ということに。苦労をかけてすまぬ。

#8 [receipt] 紀伊国屋 BC 5,103 円

コメント [全部読む/投稿する]

2009年11月07日() [n年日記]

#1 家事

荷物・郵便受け取り、片付け掃除、帰宅後にクリーニング、洗濯。

#2 柳澤くん結婚式

赤坂アプローズスクエア迎賓館にて 15:15〜18:30 くらい。 ややメルヘンに寄っていた気もするが、良い式だった。 ご飯も美味しかったし。 久々に檜垣くんや山崎くん相澤くんに会ったなあ。
コメント [全部読む/投稿する]

2009年11月08日() [n年日記]

#1 午前

某所へ原付で往復。

#2 午後

昼食後もの凄い睡魔に襲われて起きたら夕方。
大学に行こうと思ったんだが…

#3 鼻水・くしゃみ

止まらん。風邪か花粉症か。

#4 [book] 数学ガール ゲーデルの不完全性定理 結城浩

読んだ。一気読みできたのは面白かったということなのだろうけど、 やはり 2 巻と同様、微妙に食べ残し感が残る。 高校生のレベルから高等数学に挑戦している以上当然なのだろうけど。

形式的証明の枠組みの中で、論理式(列)と整数を一対一対応させることにより、 自己言及型の述語の (枠組みの中での) 不完全性を導く、 というのが最終章。 諸々の準備はしてあるものの、 やはり一気に突破した 10 章が極端にヘビー。 なかでも 46 の定義からなる証明機械の構成がいちばんしんどかったが、 実際の不完全性の導出には証明機械の一部しか使われない *1 のも、いまいち苦労に見合わなかったなあ、という感じ。

3 巻目だし、前作のフェルマーもそうだったけど、 本に通底する大きな主題が必要、というのは理解できる。 けど「高校生でも」全体が理解できる内容の中に現れる 数学の構造の美しさをキッチリ見せてくれた第 1 巻が、 これまでの 3 巻の中では一番良かったように思う。

いや、読んでる最中はおもしろかったんですけどね。 特に自然数のペアで整数を構成するというのは、 いままで知らなかったんで勉強になった。
*1: まあ下部から構成していった上澄み、ということなんだけど。 ゲーデルの論文の構成にも沿っているとのことだし。
コメント [全部読む/投稿する]

2009年11月09日(月) [n年日記]

#1 [stock] VP

行きの途中に寄って、大阪真空の TP のメンテ品をゲット。 修理報告書は stock へ。 帰りにも寄って、次のを預けた。

#2 [labo] XPS イントロターボ交換

てなわけで松野・近藤・関谷のみなさんに手伝っていただいて交換作業。 スタッドで無理矢理繋げているところなので結構しんどかった。 最後に RP の in/out を逆に繋ぐという大チョンボ。 漏れてくれて本当に助かった…

#3 [labo] 卒研ミーティング

15:00〜16:20。厳しい内容になったが、 それだけ皆さん高度な領域にさしかかった証拠でもある。 がんばってください。

#4 [vsj] 雑用

講演会関連、あと明日の切替の準備など。 メールが止まったという話が別方面から入ってきたが…大丈夫かな…

#5 風邪?

喉がやられた。どうも花粉症とは違うらしい。やばいな。 暖かくしてると多少楽なので、早く寝よう…
コメント [全部読む/投稿する]

2009年11月10日(火) [n年日記]

#1 [vsj][stock] 事務局行き

原付で。また迷った。 10:30 入り、11:40 くらいに out。 fsv に pop アカウント作成、 do レジ切替、事務局の MUA 3 台分の設定。 DNS が伝播したあたりで pop/smtp 先は要変更。週末の編集部会か。

大学に戻ってレポートのメール。 あれだ、一斉メール送信のソフトも切り替えないといかんのだな。

#2 [labo] 卒研関係

ふっ酸処理にお付き合い、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 日分です。
タイトル一覧
カテゴリ分類
book
dept
issp
labo
paper
snap
stock
vsj
Powered by hns-2.19.5, HyperNikkiSystem Project

中野武雄 (NAKANO, Takeo) <nakano@st.seikei.ac.jp> Since 1999-10-07
RSS feed, 更新時刻, LIRS エントリ, アクセス制御 (解説)

中野のホームページへ