エクスプレス予約のきっぷ発券手続きが面倒すぎる件

先日、ライブの帰りに新横浜〜東京間で新幹線を使おうと思ったら、EX予約のきっぷ発券手続きがあまりに面倒すぎて大変でした。これ、知人でもハマっている人が複数いまして、例えば 乗車券は別に持ちたい(特定都区市内制度を使いたい等)ので、特急券だけEX…

「全プリキュア20Th Anniversary LIVE!」に行ってきた

1月20, 21日と全プリキュア20Th Anniversary LIVE!@横浜アリーナに全日程行ってきました! www.toei-anim.co.jpはじめてプリキュアライブに行ったのは,2017年のプリアラライブで,会場はかつしかシンフォニーヒルズ(席数:約1300)と割と小さめの会場でし…

『南海トラフ地震の真実』を読んだ

南海トラフ地震の真実作者:小沢慧一東京新聞Amazon昔からどうも納得いかなかったものに,大地震の発生確率がある.ニュースの冒頭,自治体の防災サイト等々,南海トラフ地震の話が出るところ,必ず「今後30年以内に70~80%」という「確率」が出てくるのだが,…

Minkowskiの行列式定理

定理 $n \times n$ 正定値実対称行列 $A,B$ に対して,次の不等式が成り立つ. \[ \det(A+B)^{1/n} \geq \det A^{1/n} + \det B ^{1/n} \]以下の行列式の特徴づけから従う.補題 $n\times n$ 正定値実対称行列 $M $ に対し,次の等式が成り立つ. \[ \inf_{X…

大学生協電子マネーが想像以上の惨状だった

ボストンから帰国して,京大で非常勤研究員をやっています.久々に大学生協に加入したのですが,何やら自分が京大にいた頃とは違って,今は専用アプリを使って大学生協電子マネーで決済するようになっているようです.早速利用しようとしたのですが… これが…

ボストン・MIT Tips集

2年間のボストン生活を振り返ってみて,ここはこうした方が良かったな〜とか,これはオススメ!というものが結構あったので,今後ボストンで暮らす人の参考に書いておきます.自分はMITへ通勤してたので,どちらかというとケンブリッジ市の情報ですが. どこ…

アメリカから帰国しました

2021年2月からボストンに留学していましたが,この2月末で任期を終え帰国しました. アメリカから日本への引越し 年明け1月頃から,不要な家具などのガレージセール*1を行いました.具体的には,BIC掲示板*2とアパート内の掲示板に不要品を写真を添えてリス…

TeXはプログラミング言語(コンピュータ歴史博物館によると)

TeX

この記事はTeX & LaTeX Advent Calendar 2022の22日目の記事です. 先日,シリコンバレーにあるコンピュータ歴史博物館に行く機会がありました.ちょうど順路も中盤に差し掛かったところ,プログラミング言語の系譜を表した展示がありました.ん・・・?TeX…

アメリカに来て1年8ヶ月

11月でアメリカに来て1年8ヶ月となり,ボストン滞在も残すところ4ヶ月となりました. アメリカ国内旅行 去年はコロナも落ち着いていなかったこともあり,11月にニューヨークに行った以外は,あまりアメリカ国内旅行をしていなかったのですが,今年はかなり旅…

より「黒い」Computer Modernフォントを使う

TeX

Beamerの数式フォント,皆さん何にしてますか?普通の文書のようなセリフ体Computer Modern(CM)の人,サンセリフ体CM(beamerのデフォルト)の人,テーマに付いてくるフォントを使っている人,イロイロだと思います.一方で,MathJaxなどWeb上のTeX数式はほ…

アメリカに来て1年

今年の3月でアメリカに来て1年となりました.最近のMITとボストンの様子を紹介します. ほとんどの制限が撤廃されたMIT 1月頃はオミクロン株の感染でちょっと騒ぎになった時期もありましたが,今は全く落ち着いています.2月~3月にかけ,徐々に色々な規制が…

mylatexformatでLaTeX高速化(latexmk・Overleaf対応)

TeX

Beamerやbiblatex, TikZなどを使っていると,コンパイルに異様に時間がかかってしまうことないですか?実はbeamerなどでは,コンパイル時間の大半はプリアンブルのファイル読み込みと読み込んだ先の構文解析・マクロ展開に費やされています.最近,mylatexfo…

アメリカに来て半年 ~新学期のMITの様子~

アメリカに来て約半年が過ぎました.前回はコロナワクチンが行き渡り,制限が徐々に緩和されてきた様子を紹介しました. tasusu.hatenablog.com今回は,9月から新学期が始まったMITの様子を紹介したいと思います. 検査キットによる全員検査 4月にMITのコロ…

「量子」と組合せ最適化に関する怪しい言説 ―とある研究者の小言―

最近,量子コンピュータの話題をニュースや新聞で見かけることが増えてきました.その中で気になってきたのが,組合せ最適化と量子コンピュータ(特に量子アニーリング)に関する怪しい言説.私自身は(古典コンピュータでの)組合せ最適化の研究をやってき…

アメリカに来て3ヶ月

アメリカに来て早3ヶ月となりました.来るときにはコロナの流行がまだ続いており,ホテルで隔離生活を送ったりしましたが,今やワクチン接種が行き渡って制限もほとんど撤廃されました.最近はMITキャンパスに週5で通っています.この3ヶ月にいろいろあった…

MITのコロナ対策の様子

日本は3度目の緊急事態宣言に突入するようですね.アメリカはワクチン接種が進んでいるとはいえ,大学はまだ全然人がいません.今回はMITのコロナ対策を紹介してみようと思います. 入構の仕組み MITはキャンパスの境界に柵などがないので,敷地内までは誰で…

コロナワクチン打ってきた

マサチューセッツ州では今週月曜から,コロナワクチン接種対象が18歳以上の全成人になりました.幸運にもワクチン接種の予約が取れたのでさっそく行ってきました. ワクチン接種予約の仕組み マサチューセッツ州でのワクチン接種の予約はなかなか複雑です.…

アメリカの固定式シャワーヘッドを交換する+水圧を強くする

海外でよくあるのが壁に固定されたシャワーヘッド.これがなかなか使いにくい.特に掃除のときに困る.そこでシャワーヘッドを取り外して,日本と同じ手持ち式のシャワーにしました.参考 www.youtube.comシャワーヘッド自体はtargetで$20程度から売っていま…

ボストン到着から3週間:自己隔離からアパート入居まで

2月末にボストンに行ってから3週間が経ったので,この3週間にあった出来事を色々書いてみます.前回の記事はこちら tasusu.hatenablog.com 1週目: ホテルで自己隔離 最初の1週間はMITから自己隔離を要請されていたので,ひたすらホテルにいました.一応Zoom…

コロナ禍でのボストン渡航

先日の記事で,昨年4月にMITに行く予定だったのにコロナで延期になってしまった話を書きました. tasusu.hatenablog.comついに2月末に無事渡航が終わったので,これからアメリカ渡航しようとする人の役に立てばと思い,色々書いておきます.⚠注意: 2021年2…

コロナ禍でMITに行き損ねた話

コロナ禍で世界が一変してしまった2020年.実は,今年4月からMITでポスドクをやる予定だった自分は,もろにコロナ禍の大混乱に巻き込まれてしまいました・・・. 日本がアメリカから入国拒否される?!→パンデミックから渡航中止へ MIT行きに向け,米ビザ取…

Blackwellの接近可能性定理

数理最適化 Advent Calendar 2020 20日目の記事です.昨日はyappy0625さんの『天体ショーを整数計画問題で解いてみた。』,明日はshuhei_fさんのSVMの話です.今回紹介するのはBlackwellの接近可能性定理という定理です.一言でいうと,von Neumannのミニマ…

政治とアカデミアの微妙な関係

デジタル化推進でイケイケだった菅総理だが,一転,日本学術会議の任命拒否という予想外の話題で炎上をしてしまった.私は,日本学術会議などという偉い組織とは関わり合いのないペーペー研究者であるが,基本的に法政大学の学長声明に同意である. www.hose…

「スター☆トゥインクルプリキュア 感謝祭」に行ってきた

スタプリ感謝祭(東京)プレミアム公演に両日参加してきました!一言で言うとキラやばでした.この「感謝祭」というイベント,今年初の試みです.どんな内容になるのかな~と思っていたら ライブ 朗読劇 キャラクターショー(舞台) トークショー と盛りだく…

2010年代の研究生活を振り返る

明けましておめでとうございます今日から2020年代が始まったわけですが,2010年代が自分にとってどういう時代であったか振り返ってみると,学生として研究を始め研究者としてスタートした時代だったことに気が付きました.2010年代の振り返り 現ボスの下で講…

2019年オタ活振り返り

毎年年末にやっているアニメ名場面集ですが,今年はライブなども含めたオタ活まとめと思います. プリキュア15th anniversaryライブ 今年一番印象に残ったライブと言えばやはり,プリキュア15周年ライブ.もはや伝説になった感すらあります. tasusu.hatenab…

Surface Pro (2017, aka SP5) のバッテリー劣化

ちょうど2年前の今頃にSurface Pro (2017, SP5) を買いました. tasusu.hatenablog.comその後,2年経ってバッテリーのヘタりが深刻になってきたので報告します. ちなみに2年前,購入1週間後の感想は 電池はだいたい7〜8時間程度はもつ感じ.節約モードをオ…

「プリキュアライブ15周年Anniversaryライブ~15☆Dreams Come True~」に行ってきた

週末行われたプリキュア15周年ライブ,全日程参戦してきました.自分のプリキュア人生の中で間違いなく最高の瞬間でした・・・. www.marv.jp 今回の会場は中野サンプラザで,前回・前々回よりも規模が大きくなっています.ですが,どの座席からもちょうどよ…

2018年個人的アニメ名場面集

今年も色んなアニメが豊作でした!今年も個人的に印象に残った場面を紹介していきます. リズと青い鳥 私が尊敬してやまない山田尚子監督最新作.今回も最高でした….観に行ったあとに記事を書こうと思ったんですけど,このアニメ,(いい意味で)表現する言…

TikZのgraph記法とgraph drawing

TeX

TeX & LaTeX Advent Calendar 2018の21日目です.昨日はisaribi_saitohさん,明日はzr_tex8rさんです.TikZはLaTeX上で図を描く有名ライブラリです.Tikzの大半の機能はどのTeXエンジンでも使えます*1 が,実はLuaTeXでしか使えないTikZライブラリがあるの…