理系学生日記

おまえはいつまで学生気分なのか

SPAで履歴を遷移するときのウィンドウ位置

いわゆるブラウザの「戻る」ボタンをクリックして画面を遷移すると、前画面のウィンドウ位置を保持するのが通常です。例えばとあるサイトに一覧画面があるとして、ブラウザを大きくスクロールして特定のレコードを表示し、そのレコードをクリックします。す…

人生初の大腸内視鏡検査を受けた

前日から準備が必要 検査当日の朝 病院に到着 検査室に移動 診断 まとめ 人間ドックでの検査結果対応の第二弾、大腸内視鏡検査。 大腸内視鏡検査を一言で言うと、お尻からカメラを入れて大腸の中を観察する検査と言える。 前日から準備が必要 臓器をカメラで…

人生初の胃内視鏡検査を受けた

胃の中にポリープがあるらしい 麻酔 胃カメラを飲む 診断 まとめ 胃の中にポリープがあるらしい 年に一度人間ドックを受けている。 今年も受けたんだけど、胃の中にポリープが見つかった。あと便潜血も出た。元々胆のうにポリープがあるんだけど、人体の神秘…

dev containerを使って開発環境をコンテナに封じ込める

気になっていたのに触っていなかった技術としてdev containerがあった。 Dev Containerはその名前の通り、開発環境をコンテナ化する技術。 そうすると「開発環境とは何か」という話になるわけだけど、ここでいう開発環境とは「コードを書くための環境」であ…

「先送り0(ゼロ)」を読んだ

「先送り0」を読みました。 先送り0(ゼロ)―「今日もできなかった」から抜け出す[1日3分!]最強時間術作者:jMatsuzaki,佐々木 正悟技術評論社Amazon タスク管理とTaskChuteCloud 先送り0 タスク管理の罠 順算のアプローチはアジャイル的 終わらせるより…

Gmailで全メールをアーカイブする

Gmail、碌に読んでいなかったらメールが大量に溜まってきていて、大量に溜まってきた結果としてメールを読まなくなるという悪循環になっていた。 メールマガジン系はオプトアウトしまくったのだけれど、それでも受信トレイが綺麗にならない。受信トレイだけ…

エンジニアリングとマネジメント

エンジニアリングに携わっていると「マネジメントは嫌だ」という声を聞く機会を多く聞く。それはそれで尊重されるべき考えだと思う。僕も色々マネジメントと呼ばれる業務が増えてきて、ウッて思うところはある。もっと設計・実装に携わっておきたい。エンジ…

最も良い候補者を選択する戦略(秘書問題)

統計学の勉強をしているときに出会ったのが「最良選択問題」という、ある条件のもとで最も良い選択をするときにどうすればよいか、という問題です。 こう書くとなんのことがわからないのですが、たとえば次のように説明できます。 あなたは秘書を雇う必要が…

レルネンとゼーリエ、フリーレンとヒンメルの「孤独」に関する関係性

葬送のフリーレンのアニメが秋から始まり、妻ともども毎週楽しみにしています。 アニメはこの1月から「一級魔法使い試験編」に突入しています。 僕はもう単行本を読んでいるので今後どうなるかというのは知っているのですが、アニメを見つつ改めて単行本を読…

単調族が有限加法族の場合、それは$\sigma$-加法族である

単調族の定義 集合 $X$ に対して、$X$ の部分集合族 $\mathfrak{M}$ が単調族であるとは、以下が共に成立することをいいます。 $A _{n} \in \mathfrak{M}$で$\lbrace A _{n} \rbrace$が単調増加ならば$\lim A _{n} \in \mathfrak{M}$ $A _{n} \in \mathfrak{…