Kohei Asano

ソフトウエアエンジニア/シンガポール在住/駐在4年→外資現採6年目/10歳男児+2歳女児の父。※シンガポール在住の方をかなり無差別フォローしてますが、半分くらい技術系ツイートです。

[Kohei Asano @asano_ko]

あ、違う。そっちは身長0.9m以上だけど7歳以下の子供用だ。

学齢期の児童はほとんどこっち。そして国民&PRの他、Student Passを持つ外国人。EPホルダーの子供はたいてい非該当😭
https://t.co/YHYi74JW0V

[Kohei Asano @asano_ko]

大人はそうだけど子供は国民&PRのみ半額だったような……と書くまえに一応しらべたら外国人も取れるようになってた。なんと！
https://t.co/ai3EXRiqxa

[タジィー🇸🇬 @tajii999]

🇸🇬自国民&PRと外国人で料金ナゼ変わらないんだろうと思うほどバスやMRTは安い。区別しないのは区別する方がコストかかるからかな。でも、税金があてられるなら料金区別あってもおかしくない。同一料金にしてくれてるシンガポール素敵！

[Kohei Asano @asano_ko]

※ 写真はイメージです

はぁ……

[Kohei Asano @asano_ko]

こっちでNo pork, no lardと書いてあるのを見るたび「ああ豚肉がなければラードは取れないしな、まぁ正しいか」とか考えてしまう件。

[池上尚志 @takashi_ikegami]

この「No なんとか No ナントカ」っていうのは、タワレコの「No Music No Life」以降、90年代半ばくらいからよく使われるようになったんだけど、本来の意味は「音楽がなけりゃ生きてる気がしない」（意訳）とか、そういうニュアンスの言葉。

この大阪のやつをそれに当てはめると、「ダイブしなけりゃジャンプしたことにはならない」ってことになる。
まさにダイブしろよ！って煽ってる感じw

[Kohei Asano @asano_ko]

ただコロナの時と逆で、屋外で装着し、屋内では外す。着用時間がそんなに長くならないのでそこまで大変ではないかも。

[Kohei Asano @asano_ko]

コロナ時代に買ったN95マスクを倉庫から取り出してきた。またこれを使う日が来るとは思わなかった😞

あんまりマスクつけて歩いてる人はいないし見た目もゴツいので割と不審者感がある。

[Kohei Asano @asano_ko]

子供の学校も屋外活動が制限/停止。24時間PSIが300越えるとリモートに移行……これは大変だ。

[Kohei Asano @asano_ko]

性能問題はN+1 selects問題からくる場合が多いわけで、そうすると提案されているDecisionパターンは解決になってないような。

逆に、性能面の手当てをしておけばパターンB: 先に全部取ってくる、で十分に見える。

[Keisuke Nishitani @Keisuke69]

👀

ドメインモデル貧血症はなぜ生まれるのか — Decision パターンで DDD トリレンマを解く https://t.co/vIDNQp6rBr

[Kohei Asano @asano_ko]

暗証番号を登録しなかったのでコンビニで戸籍謄本取り寄せをそもそも使えないのだけど、こんな罠があったのか。
(登録に際して紙に書いた暗証番号を大使館職員に渡すというセキュリティガバガバ運用が耐えられなくて登録しなかった)

[Konami 🐏🍀 @Konami2272]

どなたかのご参考までに...

在外邦人用のマイナカードを使って、コンビニで戸籍謄本を取ってみようとしましたが、ダメでした😩
読み込んで暗証番号を入れるところまではいきましたが、最後に「市町村にお問い合わせ下さい」のようなメッセージが出て終わりました🤦‍♀️

[Kohei Asano @asano_ko]

取ってて良かったマイナンバー。量が多いので預け荷物に出来なさそうなのがキツい。

[駐在ジャーニー @expatsjourney]

2026年11月1日より海外在住者及び免税手続きのルールが変更になります。
年末一時帰国されている方は👇️必見です
https://t.co/EBq0q3jgVG

[Kohei Asano @asano_ko]

GetGoユーザーだけどマレーシアの道路事情シンガポール以上に大変そうだし、事故った時大変すぎるから多分使わないかなぁ……

[Mothership @MothershipSG]

GetGo now allows S'pore drivers to drive to M'sia https://t.co/WW3Rim3Yhh

[Kohei Asano @asano_ko]

空気悪し。100越えは本当に困る

[Kohei Asano @asano_ko]

表記には数学の本質はないのだから、一貫していて大きな誤解がなければ著者の好きにすればいい、といったところが標準見解であると思う。あとは分野ごとの習慣に従えというユルい圧力。

[Kohei Asano @asano_ko]

工学部の数学にはフーリエ変換のF[f(ω)]みたいな「お前それ型つかないじゃん」みたいなおかしな表記があってキレそうになる(Haskell流にF f ωでいいと思う)けど、アルゴリズム系で頻出のランダウの記法f(x)=O(g(x))もかなりの怪しさ。f ∈ O(g)でいいけれど、Oの中に無名関数を書きたいことが多く、ラムダ式のない普通の数式表記ではちとツラい。

[Kohei Asano @asano_ko]

log(log x)も(log x)^2もどっちも出てくるアルゴリズム界隈。
https://t.co/6yBUHBtV7y

https://t.co/tV0aO0djcn

[yoh2 @yoh2_sdj]

(log x)² を log² x と書くことあったかなとふと気になったが、そもそも対数を2乗する場面を思いつかなかった。

[Kohei Asano @asano_ko]

今月は月半ばにして100%突破。追加課金枠に手をつけている。豪勢にFableを使いまくってたせいもあるけど、その甲斐はあった感じ。

[Kohei Asano @asano_ko]

個人契約のCopilot Pro+の枠を使い切った。掛け率17倍のClaude Opus 4.7を使いまくってたからだけど。もっと安いモデルで行けるシーンも多くて切り替えて使ってはいたのだけど、結局こうなる。

[Kohei Asano @asano_ko]

ただし知らない言葉で横でベラベラ喋られるのが苦痛でない人に限る、かな。正直自分はちょっとダメージある方。中国語初級未満だけど聞き取れる表現がある場合があって、少し心が落ち着く。

[プーラ @3939_Singapura]

海外生活で不便なのは言葉の壁なんだけど、言葉が分からないのはベネフィットでもある。日本の生活が疲れるのは、周りの言葉が100%理解できちゃうからなんだよな。こそこそ話も聞こえちゃう。シンガポールの場合はいい感じで英語以外の言語（中国語等）が日常でも使われるので、BGMと変わらなくなる。

[Kohei Asano @asano_ko]

必修なので、履修しないことはありえないんだけと、お情けで単位もらっちゃったりして身についてなければ、苦労するはず、ということ。

高校課程の変遷に伴って真面目に講義内容を作り替えてるとは思うけど、私たちの頃ですら「あれ、君たちもう高校でxxやらなくなった？」とか聞かれることあったので、大学の先生がちゃんと高校課程見てない可能性は結構高い。

[Kohei Asano @asano_ko]

数3Cを履修してなければ駒場の数学は間違いなくついていけない。で、駒場で線形代数や解析をやってなければ工学部の専門の授業はほとんどついていけなくなるはず。

……と思ったんだけど、でももう行列が数3Cに入ってない？どうしてるんだろうね。

[Tommiesmurmuring @paultommie]

数３はとどのつまり大学教養数学の「お試し課程」なので、大学1年でやればそのほうが課程としては合理的なんですよ。期末試験も基礎的な理解を確認すればいいわけで、入学試験ではないから難問でふるい落とす必要もないですしね。それでも脱落する人は留年退学していると思う。

[Kohei Asano @asano_ko]

実装言語にはHaskellを使ってる。性能面で対C++で不利だけど、自然言語で記述したアルゴリズムとの対応がつきやすくてAI生成コードをレビューしやすい……気がする。遅延評価なので実行ログの出力順が計算の実行順序と違っていてトレースしにくいのがすこしやりにくいかも。

[Kohei Asano @asano_ko]

アルゴリズムを英文で記述して、AIにsoundnessを評価してもらって良ければ「実装に反映せよ」というだけでコードを手で一行もかかないプロジェクトになってきた。必要なのは数学と英語。数学の結果自体はあまり使わなくても、証明を書く訓練を受けてないとこの手の作業は難しいだろうと思う。