サイン本

私は研究関連の本も含め、本は自費で購入することが多いのです。自費で購入する理由は、自分の持ち物なら、書き込みができるからです。それと、著者の方にサインをお願い…

過去の論文発見

"Keishi Okamoto"で検索していたら、以前書いた論文が電子的に公開されているのを発見！http://projecteuclid.org/DPubS…

江田研究室セミナー参加

江田先生と上江洲先生からの召集で、早稲田大学の江田研究室へ行ってきました。命題様相μ計算の有限モデル性や完全性の周辺に関して話してほしいとのことでした。（この…

時間管理のマトリクス

時間管理のマトリクスというものがあります。「重要度」と「緊急度」の二軸で、タスクなどを分類します。例えば、緊急かつ重要なタスクの例としては、重要な顧客からの電…

J-RAIL2010 参加

J-RAIL2010 という鉄道系の研究集会に参加してまいりました。(共著者としての発表もありました)事前に、プログラムを見て、「安全」と「形式手法」に関する…

信頼性≠安全性の良い例

信頼性と安全性は異なる概念ですが、それを端的に示す現実的な例でいいものをご存じありませんか？(安全装置の信頼性を上げることで、安全性も向上するので、一概に独立…

厄除け

京都の吉田神社へ厄除けに行って参りました。最近、ぎりぎりでよくない方へ転ぶことが多かったので…非常に神聖な雰囲気の中、しっかりと厄払いしていただきました。これ…

台湾

12月4，5日と、台湾へ行って参りました。いつもの外国行きと比べると、往復共に日本の航空会社で、非常に楽でした。(現地の空港に着いたのも、明るい時間帯でしたし…

モデル理論の研究集会参加

昨日、モデル理論の研究集会＠数理解析研究所.京都大学に参加してまいりました。いつものメンバー＋韓国からの参加者の方でしたが、色々と意見交換させていただきました…

論文採択率とある事柄の相関関係

どうも、ある事柄と論文不採択率の間には強い正の相関関係があるとしか思えない。ある事柄の発生頻度が上がると、論文の不採択率も上がる。皆さんにも、論文採択率と強い…