Takashi Miyamoto (@tmiya_) profile picture

関数型言語/定理証明、機械学習、自然言語処理に興味があります。発言は所属する組織とは関係のない個人の見解です --- って書いておけばいいんだよね? tweet やいいねができなくなりました。 避難先 : tmiya at mathtod dot online です。

日本
Joined November 2009
Photo by Takashi Miyamoto (@tmiya_)Photo by Takashi Miyamoto (@tmiya_)Photo by Takashi Miyamoto (@tmiya_)Photo by Takashi Miyamoto (@tmiya_)Photo by Takashi Miyamoto (@tmiya_)Photo by Takashi Miyamoto (@tmiya_)Photo by Takashi Miyamoto (@tmiya_)Photo by Takashi Miyamoto (@tmiya_)
twitter からの避難先として mathtod.online のアタウントを作ってあります。まぁ数式書けるのも嬉しいし。 id は tmiya で、アイコンは同じアイコンです。
33
17,954
Takashi Miyamoto retweeted
「D&Dがやりたくてルールブック買いました!」という人がいて、流石に「D&Dはもう日本では難しい。Pathfinderやろう」なんてハードルを上げられないのが今の俺。Pathfinderやりたいのは俺の勝手な気分だけど、まだまだ日本でもD&Dは強いのは事実。(CoCを除けばね)
5
13
329
【名鉄による名駅再開発計画への私見】 残念ながら、名鉄による名駅再開発計画は、投資規模の縮小を前提とした見直しが進められています。 一方、その立地と名古屋経済への影響を考えると、「ただ大胆に規模を縮小すればいい」とも思いません。 名古屋市内でも、これほどの超一等地をまとまった規模で再開発できる機会は、もう二度と無いでしょう。 この立地を十分に生かせなければ、名鉄にとっても、名古屋の将来にとっても、大きな機会損失になってしまうと思います。 そこで、街の魅力を高めながら、建設費や工事の難易度を下げる方法はないかと考えました。 ポイントは主に二つです。 一つめ。「広小路通(太閤通)以南の区域は、売却や別事業化によって、今回の開発区域から切り離してもいいのでは?」と思っています。(1枚目) 具体的には、旧レジャック跡地や日本生命笹島ビルのある区域です。 もちろん、日本生命側との調整が必要ですし、バスターミナルの配置やアクセス道路の確保など、整理すべき課題もあります。 ただ、昨今の再開発コストの異常な高騰を考えると、名鉄が中心となってこの広大な区域を一体開発するのは、流石に手に負えないのではないか?と感じています。 であれば、開発区域を絞るという「選択と集中」も必要ではないでしょうか。 名鉄側の保有地については売却も検討し、そこで得た資金を残る区域の開発に充てる、という考え方です。 二つめ。「旧名鉄百貨店の本館部分にはビルを建てず、広場にするのもありでは?」と思います。(2枚目) 元の計画ではここにも建物を建てる予定でしたが、この地下には名鉄名古屋駅があります。 「地下駅の営業を続けながら、その上にビルを建てる」ことが工事の難易度や建設費を押し上げているなら、ここは思い切って広場にする案も検討できないでしょうか。 空間のイメージは、大阪の南海難波駅前にある「なんば広場」です。(3枚目) 都心部に大きな広場があるのは素晴らしいことで、その街を象徴する景観にもなり得ます。 名駅は、栄に比べると、久屋大通公園のようなゆとりが乏しく、人通りに対して歩道が狭いと感じます。 混み合う名駅に、誰もが立ち止まりくつろげる広場が生まれれば、街の印象も大きく変わるでしょう。 そして、そこから見上げる名駅の摩天楼は、相当な迫力があるはずです。 そのうえで、再開発ビルは旧近鉄パッセから笹島交差点までの用地に集約し、ここに「200m級のツインタワー」を建てるのはどうでしょうか。(2枚目の「ここに全集中」と書いている範囲) 全国の都市を巡ってきた私が感じる名駅の最大の魅力は、「地方都市最大級の摩天楼」です。 200m級の高層ビルが立ち並ぶ都市景観は圧巻で、名駅ならではのシンボリックな景観だと思っています。 建設費や収益性との両立は前提ですが、この景観を磨き上げるためにも、旧計画の高さ約172mは死守し、できれば200m級を目指してほしいと思います。 予算内に収めるために床面積を削る必要があるなら、削るのは「高さより太さ」であってほしいと考えています。 いずれにせよ、名古屋の将来を大きく左右するこの巨大再開発が、いいものになることを願っています。
10
29
6
151
37,286
Takashi Miyamoto retweeted
数学科にいると自然に誘導されるという言葉をよく使うけど、数学科に「自然に誘導される彼女」は存在しない…
1
5
6
70
5,797
Takashi Miyamoto retweeted
戦争を招いた時点で政府の失敗ってよう見るけど、じゃあWW2時のポーランドはどんな失敗したんやろなあ まあ失敗なら失敗でいいけど、その後どうするかを考えてるから軍備してる訳で この辺、他人の失敗を指摘してりゃ満足な評論家と、誰の失敗でも関係なく備える実務家の差よな
Replying to @jo43165899
戦争を招いた時点で、そのときの政府は失敗してます。そのとき小泉さんが防衛大臣なら、彼も失敗したわけです。子どもは気の毒ですが、政府の失敗の尻拭いをすることになりますね。
1
5
1
14
902
Takashi Miyamoto retweeted
「日本語製品を展開したが後が続かず撤退した」のは5eよりもpathfinderRPGの方がずっと早いので 展開が止まっていることを理由に今日本でD&D始めるのは…と考える人はpathfinderRPGも選べないはずなのだ
6
7
337
Takashi Miyamoto retweeted
우리 회사에서 재택근무 없애고 주 5일 출근하라고 공지했거든 근데 어떤 직원이 인사팀에 이메일을 보냈다더라 ㅋㅋㅋ 출근하면서 추가로 드는 비용을 하나하나 계산해서 보냈다는 거임 주차비 월 $200 기름값 월 $180 점심값 월 $250 합계 월 $630 1년이면 무려 $7,560 ㄷㄷ 그러면서 마지막에 “재택근무 때는 없던 지출인데 이 금액을 연봉에 반영해 주실 수 있나요?” 라고 물었다는 거야 근데 인사팀 답변을 듣고 그 직원이 다시 보낸 메일이 압권임…
109
330
63
4,721
2,420,858
Takashi Miyamoto retweeted
인사팀에서 답장이 왔는데 “출퇴근 비용은 개인 부담이며 별도 보상은 어렵습니다” 그랬더니 그 직원이 다시 메일을 보냈대 “그럼 한 가지 더 여쭤보겠습니다 재택근무할 때보다 출퇴근에 하루 2시간이 추가되는데 이 시간도 근무시간은 아닌 거죠?” 인사팀에서 그렇다고 답했더니 마지막으로 이런 메일을 보냈다는 거임 “그럼 연봉은 그대로인데 연간 500시간을 더 쓰고 $7,560까지 추가로 지출하는 거네요 회사 입장에서는 출근 정책이지만 직원 입장에서는 연봉 삭감이나 마찬가지네요” 이 얘기 듣고 우리 회사 사람들 다들 고개 끄덕였다고 함 😵‍💫
39
145
9
3,642
339,208
Takashi Miyamoto retweeted
尼崎市議会議員補欠選挙 同一人物らしいwwwww 選挙管理委員が許可したらしいけど、 全く別人じゃねーか!
95
547
49
2,417
35,527
Takashi Miyamoto retweeted
Era uma vez uma nação chamada Pérsia. Eles deram refúgio a 4.000 muçulmanos e, 100 anos depois, todos os Persas haviam sido exterminados. Hoje, essa nação é o Irã. Eu só achei que você deveria saber.
578
11,379
220
55,259
1,147,752
Takashi Miyamoto retweeted
複雑な家庭
89
1,116
33
11,496
550,360
アーナールダ系サブカルトのナンダン神がいないダラ・ハッパ/ペローリア文化で男の娘はどうすれば……と憂いておりましたが、ここに「ついている美少女神イェルム」のサブカルトが発掘されたわけですな?めでたい🎉
「少女神たるイェルム」のサブカルトが・・・ いやまさか キ「つまり、ヴォーリァは復活したイェルムそのものだったんだよ!」 皆「な、なんだってー(棒読み)」
5
2
7
292
Takashi Miyamoto retweeted
非エンジニア「画面に『CSV出力』のボタンを1個ポチッと置くだけでしょ?すぐできるよね?」 エンジニアの頭をよぎる工程: ・DBから100万件引いてメモリ枯渇しないチャンク処理設計 ・非同期キュー(Redis/SQS)の追加 ・S3へのアップロードと署名付きURL発行 ・文字化けを防ぐUTF-8 BOM対応 ・権限チェックと操作ログ監査 ボタン1個は、氷山の「水面から出てる1ミリ」に過ぎない。 #システム開発 #エンジニアの悲哀 #非エンジニアとの壁
24
111
36
1,003
166,754
Takashi Miyamoto retweeted
「理系」でも医学系最高峰のLancetと物理系最高峰のPhysical Review LettersのIF比べると10倍違うので、少なくとも引用件数は分野間では比較すべきでない
人文系の博士課程にいるんだけど、例えば文系の学者が炎上した時ってその学者の業績の多寡や論文の引用数を見られて「こんなに業績も引用数も少ない。文系の学問は無意味だ」って言われる。ここで文系の学問を援護する人は「学問の体系が違うから論文の数や引用数では比べられない」って主張する。
2
56
7
452
31,990
Takashi Miyamoto retweeted
🚨 突发: 埃隆·马斯克已正式收到邀请,将特斯拉总部从得克萨斯州迁往自由州佛罗里达州 ☀️ 这份邀请直接指向一个事实:民主党在得州赢得了选举。 州长罗恩·德桑蒂斯也警告称,由于选举结果,埃隆可能很快会成为被针对的目标。 众议员卡洛斯·吉梅内斯: “当其他人试图调查并惩罚成功时,佛罗里达欢迎成功。” “我正式写信邀请特斯拉考虑将其公司总部从得克萨斯州迁往自由州佛罗里达州,并扩大在这里的业务。在这里,创新、创业和经济自由受到推崇。” “随着近期自称民主社会主义者的人当选得州权力职位,我与你一样担心过度的政府干预、出于政治动机的调查,以及惩罚成功的政策。” “任何公司都不应该因为创造就业、投资美国创新、为国家繁荣做出贡献而遭到政治报复。” “阳光之州向企业敞开大门。” 马斯克此前已因加州敌对的政治环境将公司迁出加州。 如果得州也开始走上同样的道路,佛罗里达已经准备好了!
37
212
9
1,145
90,841
Takashi Miyamoto retweeted
クヴァールの開発した最先端言語
46
557
74
2,711
166,617
慶應義塾大学経済学部が、2027年度入試から小論文を廃止する。 理由がなかなか興味深い。 「試験対策で身につけた知識や技法が、大学での本格的な学びや論文執筆の力に必ずしもつながっていない」 とのこと。 まあ、そりゃそうだろうね。 大学側がそこに気づいて、入試制度を変えるというのは面白い。 keio.ac.jp/files/b1aeda5e13c…
28
68
35
475
89,081
Takashi Miyamoto retweeted
高校の科目は独立して学べる仕組みになっているので,たとえば数学の履修が不十分で微積分がダメでも物理や化学を最後まで学んでいけるしくみになっているんだよ.みんなが工学部に行くわけではない,っていうところはよくできているよ.
1
7
30
1,283
Takashi Miyamoto retweeted
でもこの回復力がないとエメゴジみたいにミサイル数発で簡単に倒せちゃいますよ。すると回復以外の方法では攻撃を全て弾き返すか回避する必要がある。異様に硬いのも異常回復と同様に非生物的だし、あの大きさで回避しまくるのも変だし…
怪獣がダメージを負っても傷や欠損が一瞬で修復されるシーン。最近よく見るのだが、僕は激しく異を唱えたい。それじゃあオバケやバケモノじゃないか。 怪獣だって血の通った生き物であってほしい。宇宙生物とかならまだしも、地球上の怪獣でこういうことされると一気に興醒めなんです。
14
51
2
332
24,368
Takashi Miyamoto retweeted
15分の体験卓は TRPGという概念を知らない人を知ってる人に変換する施策、 2時間の体験卓は TRPGという概念を知ってる人をTRPGを遊んだことがある人に変換する施策と見なすことができて 1時間の体験卓はこの観点だと両方をカバーしようとして逆に中途半端なのではという気がしてきた
1
14
51
3,009
「お前のパソコンに侵入し、お前がアダルトサイトを視聴している確証を得た。バラされたくなかったら金を払え」といった内容のスパムメールがよく届く。 たとえ僕がアダルトサイトを観ていたとして、それが晒されたとして、誰も意外に思わんやろ。
40
188
16
1,840
56,528