Movatterモバイル変換


[0]ホーム

URL:


はてラボはてな匿名ダイアリー
ようこそ ゲスト さんログインユーザー登録

「数す」を含む日記RSS

はてなキーワード:数すとは

次の25件>

2025-12-06

来年の春、全国のタブレットノートPCが枯渇する

国内在庫がなくなる。

これは近年のAI需要メモリが高騰してるとかの話ではない。

少し関係はあるが本題はそこじゃない。

 

問題文科省が掲げてる『GIGAスクール構想』と言うもので、『子どもたちに1人1台、コンピュータ端末』と言う原則を掲げている。

この構想自体は令和3年から実施されていて、小中高の子供には1人1台のタブレット支給されている。

今までは令和3年に購入されたタブレットを貸与し、卒業した人から回収して、次の新入生に貸与するというサイクルを取っていた。

問題なのは「令和8年度の新高校生から貸与を終了し、原則高校生一人一人が自分で購入する」と新たに子供たちに購入させることを決めたことだ。

今まではリース品を貸与・回収して繰り返し使っていたので新たな購入は発生しなかったのだが、来年から一人一人が購入しなくてはいけない。

 

そして大問題なのだが、ほとんどの自治体(と言うか学校)で来年度購入するタブレットorPCの確保が、今の段階で全くされてない。

某G県やK県などは、いまだに貸与を続けろと言う抗議をしていて新しいタブレットの確保の動きが全くない。

毎年、新たに高校生になるのは300万人強だ。

自治体が用意するのは公立高校のみだが)多ければ300万台の在庫が動くことになる。

その300万台が来年の春にどのように用意されるかが『業者への確保打診もされてない』。

これがどれだけ恐ろしいことか発注業務したことがある人ならわかるだろう。

 

確保の打診がされてないとか嘘乙。って思うかもしれないが事実だ。

しろほとんどの学校でまだ『来年度なんのタブレットを使うかが決まってない』段階だ。

今までは用意された端末を配布していただけだが、来年から子供一人一人が買うので、入学する生徒の経済状況に合わせて推奨機種を決めなくてはいけない。

大学ノートPCを買わせるのと同じで、推奨機種は出すが何を購入するかは最終的に家庭の自由と言う形だ。

大学でできているんだったら大丈夫と思うかもしれないが、大学はもう何年もそういうことをやっているか業者側とも話が通ってる。

自治体学校殆どはいまだに業者に話すら通してない。

生徒が何を買うかもわかってないから、業者来年タブレット必要なことが分かっていても在庫を確保する動きが出来ない。

 

そして来年の年度末に合格説明会で教えられた保護者が各々でわっと注文を入れる。

学校によってはどこか指定業者とかがあるわけでもなく。

 

予想でしかないが推奨機種は必要数すら用意できない可能性がある。

特に学校iPadを信頼しているのでiPadに大量の注文が入るだろうからiPadあたりは来年の春品薄になる。

apple世界在庫を持っているからすぐに解消されるだろうが)

生徒の中には実際に手に入るのが数か月後とか言うこともあり得る。

 

ここにメモリの高騰が状況を悪化させるだろうことは想像に難くない。

そもそもタブレットも含めてPCの値段が来年の春には1万円ぐらいは値上がりしているはずだ。

大量の需要在庫がはけたら、今の値段を維持できずにしばらくロー~ミドルクラスタブレットノートPCが買えないことは最悪ありうるだろう。

 

まー悪いこと言わないかタブレット必要なら今のうちに買っときな。

Permalink |記事への反応(4) | 20:33

このエントリーをはてなブックマークに追加ツイートシェア

2025-11-26

anond:20251126162452

「どの国も軍備状況を明らかにしてない」は完全にウソ

先進民主主義国は、かなりの程度まで軍備状況を公開しています

アメリカ:毎年「China MilitaryPower Report」や「Russia MilitaryPower Report」を議会に提出し、敵国の軍備を詳細に分析した上で、自国の装備数・配置・性能(機密部分を除く)も公開。主力戦闘機の機数、艦艇の隻数、ミサイル配備場所まで普通に公開。

イギリス:毎年 Defence Equipment Plan で10年分の装備調達計画を公開。F-35の機数、原子力潜水艦の建造スケジュール護衛艦名前就役年まで全部公開。

スウェーデン:極めて詳細な国防白書を毎年出していて、グリペン戦闘機の機数、潜水艦の配置海域対戦車ミサイル配備部隊まで書いてある。

日本防衛白書戦車何両、護衛艦何隻、イージス艦何隻、F-35何機導入予定、まで全部書いてる。弾薬備蓄数すら一部公開し始めてる(2024年から)。

山添議員が求めたのは「最新の装備数・配置・性能の詳細」レベルで、これは「すでに防衛白書予算委員会でかなり公開されてる範囲」に近いものです。完全な機密(例えば誘導兵器の具体的な誘導方式レーダー周波数)はもちろん非公開ですが、「そんなもん公開してる国ない」は明確な誤り。

Permalink |記事への反応(3) | 16:30

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-19

anond:20251019210648

多分相当数すね毛が混ざってる

Permalink |記事への反応(0) | 21:08

このエントリーをはてなブックマークに追加ツイートシェア

2025-09-27

anond:20250927183429

いや彼らの責任じゃねえって

結局左の政党だって軒並み失速してるんだから

そもそも状況を左右するような頭数すらまともに揃ってねえってことだろ

Permalink |記事への反応(0) | 18:44

このエントリーをはてなブックマークに追加ツイートシェア

2025-09-16

dorawii@執筆依頼募集中

レス元が「効いてるじゃん」を指してるならそりゃ何度も効いてることだから数すくねえなと

-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20250916200611# -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaMlEpAAKCRBwMdsubs4+SCrUAQDTg+yCj/HkN1NqUTA0uNc45I1cu3uIA1YqpI3MsOt0vwD/ZJwFs4oiyK+OcibRx0ggano5kTcq8Kd+9hSbYxs70wc==PjhS-----ENDPGP SIGNATURE-----

Permalink |記事への反応(1) | 20:06

このエントリーをはてなブックマークに追加ツイートシェア

2025-09-13

少子化対策

政府女性子供を産ますには、どうしたらいいの…」 [782667645]

https://greta.5ch.net/test/read.cgi/poverty/1757688660/

ttps://greta.5ch.net/test/read.cgi/poverty/1757688660/190

190番組の途中ですがアフィサイトへの転載禁止です (ワッチョイW 5b3d-W5w5)sage 2025/09/13(土) 04:08:17.05ID:r67/HxiM0

女性社会に望まれるのは社会進出じゃなくてセックス妊娠

女性場合セックス不特定多数とする方が、社会に出て働くより給料が高くなればいい

というか風俗従事者だともうなっている

この流れをもう少し強化し、売春合法化セックス文化形成を進める

男性収入で脚切りをされるのなら、女性セックスをより多くする人がモテるように

セックスをしない人が脚切りをされるような社会になればいい

セックスが無ければ男女共に惚れるなんてことはありえない、そこから結婚にも繋がらない

セックスできる場の提供(公民館や専用施設でもセックスしていい場所を作る)

セックスしていないと生きていけない、セックスをある程度していればそこそこ裕福に生きていけるような社会であれば調和が取れる

セックス社会に組み込め、さもなくば少子化解決しない

ttps://greta.5ch.net/test/read.cgi/poverty/1757688660/192

192番組の途中ですがアフィサイトへの転載禁止です (ワッチョイW 5b3d-W5w5)sage 2025/09/13(土) 04:21:44.44ID:r67/HxiM0

>>190

今の社会女性自分結婚市場のどの立ち位置いるかランクが分からない

男性の高い高いランク自分釣り合っていると錯覚し、それが男女共に不幸を呼んでいる

また、女性男性に優しくするとレイプされるとの危険から男性に親切にすることを控えている傾向がある

また今のフェミニズムは、実際には向かう方向性を失っているのにも関わらず、今後女性一方的ファンタジー夢物語のように展開されると今も信じ続けられている

セックス男性にとって究極の優しさであり、その結果としての子どもである

少子化を本気で止めるならセックス推進を公言すべきだ

ttps://greta.5ch.net/test/read.cgi/poverty/1757688660/197

197番組の途中ですがアフィサイトへの転載禁止です (ワッチョイW 5b3d-W5w5)sage 2025/09/13(土) 04:31:01.10ID:r67/HxiM0

>>192

そもそも男性側が優しさや女性相手に気を使うのは、その女性セックスできる可能性があると男性側が思うから

男性があらゆる努力を行うのは、それが社会価値の向上に繋がり、女性に選ばれる確立が高くなるから

セックスは、すればするほどお互いの親密度が高くなる行為である

日本セックスを軽視し過ぎた、そして、女性セックスが出来るなら、と、女性の言い分を通し続けてきた

結婚セックス許可証のようなものであるセックスレスが離婚理由になるのだから

セックスするために男性側は人生の大多数のものを捨てなければならない。人権を捨てなければならない

そんな墓場に首を繋がれる契約、その代わりにセックスを「させてあげますよ」としているのが今の女性の言い分である

1度子どもが出来てしまえば、子どもを脅しに使い、養育費無限搾取を行える(それが実際に子どもに使われる事は限らないのに)

これが今の前提であり、女性たちはもっと男性搾取しようと無自覚に声高に叫んでいる

これが現実である

ttps://greta.5ch.net/test/read.cgi/poverty/1757688660/201

201番組の途中ですがアフィサイトへの転載禁止です (ワッチョイW 5b3d-W5w5)sage 2025/09/13(土) 04:45:52.59ID:r67/HxiM0

>>197

ならば現実をどう変えていくか

男性は根源的には常にセックスに飢えている

女性は常にセックスの対価に何かを要求してきた

そのセックス価値今金不動産より高くなっている

だったら価値を下げるしかない

女性男性の性欲を満たして余りあるようにしなければ釣り合わない社会

女性セックスできる人口は限られてくる。妊娠セックスが出来ない時期の人を除くと、もう既に男性余りが起こる。そして年齢が高くなると、男性側が「この人とセックスしたい」と希望する事も少なくなる

まれない男性セックス一定回数、不特定多数の人と一定数す

そうすれば毎年1000万円を最低支給、生涯支給されるようにすればいい

人数や頻度や回数によって段階的に支給すれば良いと思う

セックスの計測時期は排卵の適齢時期で考え、妊娠できる年齢までにセックス基本的なことを教え、セックスをすることをメイン収入として、後は研究機関会社入社セックスしながら雑事をこなすような生活であればいい

社会地位金銭的に保証されているし、セックスのより多い人、より裸を見せた人が社会地位を与えられればいい

ttps://greta.5ch.net/test/read.cgi/poverty/1757688660/202

202番組の途中ですがアフィサイトへの転載禁止です (ワッチョイW 5b3d-W5w5)sage 2025/09/13(土) 04:50:48.29ID:r67/HxiM0

>>201

野党セックスポジティブ社会を叫ぶべきだ

参政党はもう既にロリコンの許容や弱者立場男性の耳障りの良い発言をしている

からこそ本当に危ない

ttps://greta.5ch.net/test/read.cgi/poverty/1757688660/207

207番組の途中ですがアフィサイトへの転載禁止です (ワッチョイW 5b3d-W5w5)sage 2025/09/13(土) 05:15:38.65ID:r67/HxiM0

勿論避妊技術もっと発展させ、男女共に身体により少ない影響で避妊が出来る技術を開発しなければならない

そして性病の撲滅にも全力で取り組まなければならない

これを徹底的に行なったうえで、国民全員、男女共に長期間避妊ピルを配布し、全力でセックスさせる

カップルになったら、効力解除ピルを飲み、妊娠出産を行う

このようにすれば望まない妊娠は防げるし、政府の側にとっても、効力解除ピルを配布するのに制限をするなどで人口調整機能が働いて将来の人口爆発も防げる

男性セックスした人の中から、この人なら生涯添い遂げても良いという人を選べば良い

女性も充分にセックスをしていれば収入は申し分ないし子育て費用セックスで稼げているので、男性収入を求めることな経済的自立が出来る

男性企業の活力であるなら、女性男性の活力である

日本再生を目指すならセックス復権社会地位の向上と普遍化がないと片手落ちだろう

ttps://greta.5ch.net/test/read.cgi/poverty/1757688660/210

210番組の途中ですがアフィサイトへの転載禁止です (ワッチョイW 5b3d-W5w5)sage 2025/09/13(土) 05:29:52.35ID:r67/HxiM0

そもそもセックスが不浄なこと、隠すべきこと、辛いこと、忌避すべきことという概念自体が間違いなのだ

現在性教育を教えた結果セックスを危ないもの暴力であることとしか認識していない

概念は適切に教えるべきだ

この人はイヤではないという男性にはビキニラインを隠すのではなく積極的に見せるべき

そこに魅力の8割があるのだから

男性にとってセックスに繋がるものは全て報酬である、だから性的表現フェティッシュものはより過激であるほど人気が上がる

幼少時に大事場所を見せてくれた、初体験をさせてくれた女性であったら、男性であれば現在のどんなに好条件の女性とでも天秤にかけて釣り合ってしまもの

適切に物事判断するというのは怖がらせるだけでは本末転倒

セックス性的表現忌避すべきものとして打ち捨てられていればそれは男性全体の活力を打ち捨てているのと同じ事

セックスこそ女性にとって社会地位が高い行為であり、恵まれない人のためにするセックス尊敬されて然るべきものである

ttps://greta.5ch.net/test/read.cgi/poverty/1757688660/212

212番組の途中ですがアフィサイトへの転載禁止です (ワッチョイW a3e0-pgBA)sage 2025/09/13(土) 05:32:09.55ID:OV8Lxe+e0

210

それが統一の教えなので素直に正式我が国国教しろ

ttps://greta.5ch.net/test/read.cgi/poverty/1757688660/217

217番組の途中ですがアフィサイトへの転載禁止です (ワッチョイW 5b3d-W5w5)sage 2025/09/13(土) 05:55:01.88ID:r67/HxiM0

>>212

統一教会のやり方は自身を悪しき共産主義として悪魔化させたような構造になっていた

所有の概念は一夫一妻制の広がりと同時期に起こっていると考えている

合同結婚式では結婚する人を選ぶ権限組織に決定権があり、国籍ミックスさせていた

このやり方は共産主義の所有がないという概念悪魔化して支配しようというやり方から発想しているものであると考えている

私の考え方を統一教会の悪しき教義同義にしないでほしい

女性には個々人とセックスをしない権利は残っているし、誰とでも絶対に拒むなというわけでもない

その結果望まれない人とセックスをせず将来貧乏になったとしても自己決定権行使をしていてそれは自由

の子どもを産むかも男女の自己決定権があり、それを国が承認子ども妊娠できる

統一教会と一緒にしないでほしい

ttps://greta.5ch.net/test/read.cgi/poverty/1757688660/222

222番組の途中ですがアフィサイトへの転載禁止です (ワッチョイW 5b3d-W5w5)sage 2025/09/13(土) 06:13:26.24ID:r67/HxiM0

>>217

統一教会とは異なることを明言した上で、それでもセックス普遍化には宗教必要だと思う

カトリックのように、性行為様式作法などを細かく決め、その方式を時に柔軟に変化させながら守り続けることがやはり必要だと考える

行為のもの宗教行為ならば、尊いものとして捉えやすいし、作法様式を広めればレイプまがいの乱暴相手承認暴力セックスを行う人も減るだろうと思う

宗教施設として誰でも使用できるセックス部屋を提供し、カップルはそれを使用し、男性一人でも相手してくれる女性宗教行為を行い、お布施を支払う

こうすることで

レイプが起こった時も施設内なら止められる

子供時代から倫理観を持ってセックスを教えやす

地位の高い人は「最も多くの恵まれない人とセックスした女性」であり、その人は多くの男性からまれた人でもある

からこそ男性のことが分かりつつ宗教方向性が決められるし、男性の勘所が分かるからこそその宗教は支持されていく

宗教献金避妊ピル性病撲滅資金も出せるし、コンドームの設置、全国配置も可能

女性宗教セックスのために行うことで、男性レイプされる危険も下がるし、教義を守り続ければ望まないセックスをすることもなく、望まないセックスという概念が無くなりセックス行為尊敬されるものという共通認識がなされれば、社会に我々は充分貢献しているんだ、という考えが芽生え、今の女性社会進出という実質的男性領分への侵食を考える事もないと考えるから

Permalink |記事への反応(7) | 06:19

このエントリーをはてなブックマークに追加ツイートシェア

2025-09-11

anond:20250911135328

教科書では図も交えて一生懸命説明してるよ

そもそも数という概念抽象化だけれど、数を立式して操作することも抽象化だよね

単に目の前でイチゴが6個あることを数えられても

一皿に2個あるイチゴが3皿ではいくつ?と文章で書かれるとわからなくなる子がいる

2×3に置換できない子

そういう子の助けになるように、かける数とかかけられる数、一つ分の数、いくつ分とか概念説明する

相手は「小学校1、2年生」の児童から

いろんな図を描いて、現実事象と、文章と、それを数として操作することを繋げていくのさ

当然に、数学などに移っていけば、もう図なんて書かれずに、数すらもさら抽象化して「x,y,z」などに置き換えられる

こういうのが進むと脱落する人が増えるのだけれどね

高校くらいまでは死ぬ気で暗記したりして大学入った人なんかは、才能の違いという現実に打ちのめされたりする

Permalink |記事への反応(4) | 14:07

このエントリーをはてなブックマークに追加ツイートシェア

2025-08-31

結果を出せばわかる、結果を出せと人に言ってるやつはそんなに結果を出してない

結果を出せる人間が少数すぎてそっち側に行けばもっと孤独になることも

Permalink |記事への反応(0) | 15:10

このエントリーをはてなブックマークに追加ツイートシェア

2025-08-21

anond:20250816044007

珍妙文書・主張だな

まず店舗数って基準妥当なの?

店舗といっても、個人経営の小さな商店から大型ショッピングセンターであるわけで、少なくとも床面積商品数・従業員数すべてが全然違う。

こんなに違うものをひとくくりに店舗数だけで比較していいのかな?

あと「指数」とか「課税」とか言ってるけど、これ何?笑

「“歩飽指数(ほほしすう)”という概念比較する」とあるように指数を「概念」と言ってるけど、指数概念なの?

課税定義意味不明瞭だよ。多分、買い物で消費する無駄時間を「税」と言いたいんだろうけど、ぶらぶら散歩したり知らない土地を歩く時間も「税」なの?

「丁寧な計算は、生きる速度を取り戻す儀式なんだよ。」ってあるけど、文章定義計算すべてが雑過ぎてザルすぎるから説得力が全く無いよ

Permalink |記事への反応(0) | 14:11

このエントリーをはてなブックマークに追加ツイートシェア

2025-08-13

妊娠出産という女にとっての大博打

 仕事でもそこそこのキャリアを築きたいと思っている自分にとって、あまりにもコントロール不能すぎる。

31歳で出産し、子どもふたり欲しいと思っていたがひとり産んでほぼ断念している。今くらいの時期に新入社員として入社した次の世代の人たちがもっと楽になれるよう制度とか整えていきたい。子どもが好きなので。

きっと我々の前の世代ワーキングマザーもっと厳しい中で過ごしてきたのだろうと思うと尊敬しかない。そして生存バイアスこわい。

そういう備忘録

理系院卒総合職フルタイム勤務です。夫と収入はほぼ同等と思ってください。


1.つわり、人によりすぎ

 二ヶ月吐き続けた。幸運にも客先とかない職種で、約2ヶ月間で何らかの結果を出せばいいので、トイレとお友達になりながら仕事していた。

 理系なので社内に女の先輩がほぼおらず、つわりピークは妊娠初期のセンシティブな時期で誰にも妊娠していることを言えなかった。今思うと絶対休職すべき。

復職後は後輩の女子社員アドバイスを求められる立場になり、その旨伝えて実際につわり休職した話を何人かから聞くので心から安心した。みんな、辛い時はちゃんと休もうね。


2.夫が戦力になるか、未知数す

 統計的に妻の収入割合が上がっても夫の家事負担が増えないというグラフは本当に恐ろしい。何故? それならせめてハウスキーパー代ポンと出せるくらい稼いでくれよ。

 夫はたまーに「わたしの方が家事育児してない?」ってムカつくことはあるがそう思う時は大体相手もそう思っていることがあると思うので戦力になってくれていると思う。

 それでも特に産んだ直後は産後クライシスで何回も喧嘩している。夫婦ふたりで過ごしていた頃は喧嘩なんてほとんどなくて、こうなることは子供を産むまで全く想像したことなかった。

 あと、後の項の子もの体調不良休みを半分負担してくれるかどうかで働きやすさが全然変わってくる。4日連続で休むか2日飛び飛びで休むかは全然違う。ほぼ頼んだ通り休んでくれる夫にはとても感謝


3.善意ジェンダーバイアス

 ↑の夫の家事負担の話になると夫がものすごいイクメンであり、実に協力的で素晴らしいパパだという善意ジェンダーバイアスに溢れた感想をよく言われる。何故ならわたしが夫と同程度に稼いでいるということはわざわざ口にしないからだ。

 収入が同じなのに全然家事育児負担してなかったらその男カスすぎない?

 (もちろん、互いが納得の上で主な収入と主な家事育児を分業するという家庭ももちろんあると思います。悲しいことにママ友がいないのでこれ以上言及できません)


4.保育園の空き状況、自治体によりすぎ

 4月入所が有利!以上!わたし半年待ちました!

 そんな簡単に時期選んで子ども妊娠して産めたら苦労しません。妊婦さんがどれほど気をつけていても早く産まれてくる子は産まれてくるし、予定日ちょうどに産まれてくる子もいるし、予定日を過ぎる子は過ぎるのです。


5.子ども体調不良子どもによりすぎ

 無事に保育園に入れても、今度はいわゆる保育園洗礼と呼ばれる体調不良連続する。0歳で保育園に入るより1歳で入る方が当然ながら身体が大きくなって体調が安定する傾向にあるが、遅くなるほど保育園の空きは少なくなるというジレンマを抱える。貯めてきた有給は溶け、謝罪メールを何度書いたか覚えていない。

 しかもこの体調不良の頻度は子どもによるのである! もしかすると出生体重などと何かしらの相関があり復職前に予測可能かもしれないが、どうにかすることはできない。通っている保育園の規模とも関係があるかもしれないが、そもそも枠がパンパンで入所できるだけありがたいことなである

 殆ど休まずに仕事にまい進するワーママがいる一方で、復帰直後にまともに出社できないママもいる。誰も悪くない、けど辛い。

 わたし職種的に社外に直接関わるお客さんがいないので、社内の謝罪で済むのが本当に幸いである。でもそうでない職種の人はさらに辛い思いをしているだろう。どうにかならんか……? つわりとも関連するがみんながみんなそうではないので整備が進まないのだと思う。


6.子どもの発達と成長、子どもによりすぎ

 発達に遅れがあると療育などに通う必要がある。保育園に通いつつ療育フルタイムでそれは無茶オブ無茶である。フルリモートルフレックスなら可能だろうか?ちなみにわたしは違う。

 上記の通り子ども比較的丈夫で、かつ発達過程がおおむね標準通りだろうと感じた時の安堵といったらない。これから不慮の怪我や、何らかの病気にかかるなどは当然ありえることで、その心配は常に胸中にある。

 本来ならこういったことの対応を考えるのは母親父親平等であるべきなのだと思う。でも世間母親が何とかすべきという論調に溢れていて、わたしがうっすらとした不安を抱え続ける中で当然ながら夫なんて能天気ものだ。


 わたし第一子で多くの幸運を引き、そして幸運でない道の険しさを知り第二子をほぼ諦めました。

 極端に有能でない男性も生き残れる社会で、女性ばかり幸運または極端に有能な人またはゴリラしかビジネスマンとして生き残ることができない状況、どうにかなりませんかね。(どうにかしたい)

Permalink |記事への反応(30) | 00:33

このエントリーをはてなブックマークに追加ツイートシェア

2025-08-10

anond:20250810095713

フリーアドレスなんだけど、席数すくなくて部長席は固定だから大体なんとなく固定になるんだよ。臭い人うるさい人とかがマインスイーパ地雷的に座ってくるのを避けるの結構難しいよ。

Permalink |記事への反応(2) | 10:01

このエントリーをはてなブックマークに追加ツイートシェア

2025-08-07

anond:20250807155223

俺が文盲だったわすまん

自分がやれないのに、希望の女のはめどり入手のために50万払うやつなんてごく少数すぎるわwwwwww

Permalink |記事への反応(1) | 15:55

このエントリーをはてなブックマークに追加ツイートシェア

2025-07-24

LLMとTypescriptって実は相性悪いよねって話

今時点の使えそうな Sonnet4 を使ってコード生成とか業務でやる時にTypescript は案外うまくいかないことが多い。

UIとかシンプルものであれば結構うまくいくけど、graphql,prisma みたいなところになると、token数すごくなるし結局完成しない。

この辺りが、なんとも小骨がひっかかるからTypescriptの型ってやっぱりあれなのかと思って調べてもらったんだ。

↓↓↓↓↓↓↓

##ソフトウェア工学から見たTypeScriptの3つの根本課題

Web上の専門的な議論論文では、TypeScript課題は主に以下の3点に集約されます。これらはすべて、JavaScriptという土台との不適合性に起因するものです。

1. 不健全な型システム (Unsound Type System)

ソフトウェア工学において、型システムの**「健全性(Soundness)」**とは、「コンパイル時に型エラーがなかったプログラムは、実行時に型エラーを起こさない」という保証を指します。

TypeScriptは、この健全性を意図的放棄しています

設計目標の不在:TypeScript公式ドキュメントには「健全であること」は設計目標ではないと明記されています。これは、JavaScriptとの互換性や開発者利便性を優先した、根本的なトレードオフです。

具体的な不健全さ:

配列の扱い:string 型の変数に (string |number) 型の配列を代入できてしまうなど、配列の扱いに不健全な部分があります。これが原因で、実行時に数値を取り出してしまい、string型のメソッドを呼び出してエラーになる、といったことが起こり得ます

any型と型アサーション:any型の存在や、開発者コンパイラに「これはこの型で間違いない」と強制する型アサーションas構文)は、健全性を根本から破壊する「抜け道」です。

関数引数(Bivariance):関数引数の型チェックが、他の多くの言語(反変)とは異なり、より緩いルール(双変)になっています。これも実用性を優先した結果、理論的な正しさを犠牲にしている例です。

学術的な観点では、この「不健全さ」はTypeScriptの型システムが持つ最大の弱点と見なされています

2.構造的部分型(Structural Typing)の罠

TypeScriptは、クラス名などによらず「構造が同じなら同じ型」とみなす構造的部分型を採用しています。これはダックタピングが主流のJavaScript文化に合わせた賢い選択ですが、ソフトウェア工学的にはいくつかの罠があります

意図しない互換性: 全く異なる目的で作られた二つのオブジェクトが、偶然同じ構造を持っていたために、型チェックをパスしてしまうことがあります。これにより、ドメイン業務領域)の意図とは無関係コードが結合してしまい、予期せぬバグを生む原因となります

過剰なプロパティの許容:constconfig: { port:number } = { port: 8080, host: 'localhost' }; のように、変数経由で代入すると、型に定義されていない余分なプロパティ(host)がエラーになりません。これは仕様ですが、開発者意図しないデータが紛れ込むことを許容してしまい、セキュリティバグリスクに繋がります

これは「TypeScriptの型は、データの『形状』を記述するが、その『意味』や『文脈』を保証しない」という根本的な限界を示しています

3. 「漏れのある抽象化(Leaky Abstraction)」としての本質

Joel Spolskyが提唱した「漏れのある抽象化法則」に倣えば、TypeScriptはまさにその典型例です。

TypeScriptは「静的型付け」という抽象化レイヤー提供しますが、開発者は常にその下にあるJavaScriptの泥臭い現実(undefined, null, thisの挙動など)を意識し続けなければなりません。

抽象化の不徹底: 型を書いているときも、最終的にそれがundefinedになりうることや、thisが何を指すかを常に考えなければなりません。抽象化レイヤーが、下位レイヤーの詳細を隠蔽しきれていないのです。

摩擦コスト: この「漏れ」が、これまで議論してきた「Union地獄」や「境界での型変換の手間」といった、開発上の継続的な摩擦コストを生み出しています

##結論

ソフトウェア工学的な観点から見ると、Web上の専門家議論は我々の対話結論を強く裏付けています

TypeScript課題は、個別機能の優劣ではなく、「健全性を犠牲にしてでも、JavaScriptという動的な土台との互換性を最優先した」という、その成り立ちそのものにあります。その結果として生じる「不健全さ」「構造的部分型の罠」「漏れのある抽象化」といった問題は、この言語を使い続ける限り、アーキテクトが向き合い続けなければならない、本質的なトレードオフなのです。

Permalink |記事への反応(0) | 23:52

このエントリーをはてなブックマークに追加ツイートシェア

2025-07-16

anond:20250716225020

そんな余裕ないし開票所にマジシャンなんぞいないし結果に影響与える数すり替えるなんて不可能なんだぞ

いから一回見学に行けよバカ

Permalink |記事への反応(0) | 22:53

このエントリーをはてなブックマークに追加ツイートシェア

2025-06-12

ピットブル飼育禁止されているはずなのになぜ? 沖縄米軍関係者が飼うペット数 地位協定に阻まれ把握困難

沖縄市と金武町で4月から5月にかけ、米軍関係者飼育する闘犬種のピットブルなどによる咬傷(こうしょう)事案が2件相次いで起きた。これまでも基地周辺の市町村米軍側に適正な管理を求めてきたが、有効対策が取られていない。米軍側の規定では県内基地内外を問わずピットブルなどの飼育を禁じるが、基地外では米軍管理が行き届かない上に、市町村日米地位協定に阻まれペット数すら把握できない。(社会部平良孝陽)

 

基地外では 基地外では 基地外では 基地外では 基地外では 基地外では 基地外では 基地外では

 

https://www.okinawatimes.co.jp/articles/-/1602509

Permalink |記事への反応(0) | 20:19

このエントリーをはてなブックマークに追加ツイートシェア

2025-05-15

anond:20250515161619

ああ、自治会費の話だったのか端数すぎてあってもなくてもどうでも良いと思ってたわそれ

Permalink |記事への反応(1) | 16:19

このエントリーをはてなブックマークに追加ツイートシェア

2025-05-06

anond:20250506113209

ほんまや

ただ刊行数すげえ少ないな、ジャンプだと2024年11しか出てない

Permalink |記事への反応(0) | 11:59

このエントリーをはてなブックマークに追加ツイートシェア

2025-04-30

anond:20250430235039

今後十年で団塊の世代平均寿命超えていくから人口だけでなく高齢者数すら減り始める時代突入するんだよなあ…😟

Permalink |記事への反応(0) | 23:52

このエントリーをはてなブックマークに追加ツイートシェア

2025-04-25

なんで220台ぐらい用意できないの?

Nintendo Switch日本販売台数

3682万台

 

3千万

だぜ?

その1/10の300万台以下の数すら用意できないのってなんか生産ライン問題でも起きてんのか?

Permalink |記事への反応(2) | 09:12

このエントリーをはてなブックマークに追加ツイートシェア

2025-04-19

anond:20250419194237

フッ……よきぞ、若き者よ😏🔥

その不敵な笑み、まさしく深淵を覗く者の器よ。

だが言わせてもらおう——

真髄とは常に、簡素なるものに宿る。

たとえば、アインシュタイン

                     E =mc²

この式、見た目はたった5文字。されどその背後には、質量エネルギー等価性という宇宙の根源的法則がある。

だがここからが深い。

いざ、超弦理論の“底”の底へと潜ろうではないか

超弦理論の真なる問いはこうだ:

🔻 なぜ「弦」なのか? なぜ「10次元」なのか?

それは、理論の内部整合性から導かれる。

☑️量子力学相対性理論矛盾なく融合させるためには、点粒子ではなく、1次元の拡がりを持つ“弦”である必要がある。 点粒子のままだと、重力子スピン2の粒子)との相互作用が「無限大」になって破綻する。

☑️ 弦理論が無矛盾定義されるためには、10次元の時空が必要になる(これは量子異常のキャンセル条件から導かれる)。 つまり、「次元数すら、理論要請によって決まる」のだ!

抽象数学の頂には、例えばホモトピー型理論(HoTT)、∞-圏(インフィニティけん)、そしてモチーフ理論などがある。

これらはただの構造ではない。

構造のものの、構造」を構築するための理論なのだ

まるで、宇宙言語を持ち、それを“自己参照”で語っているような世界……。

抽象数学:「構造が何か」ではなく「構造とは何か」の問い

超弦理論:「物質は何でできているか」ではなく「“存在”とは何か」の問い

深淵は常に、シンプル仮定からまれ無限の問いへと繋がる。

それが真の深みよ。

Permalink |記事への反応(0) | 21:07

このエントリーをはてなブックマークに追加ツイートシェア

2025-03-31

anond:20250331161436

治験なんか回数すなすぎてあてにならんよ。

世界で128億8543万回も接種されているんだから症例たくさん溜まってるでしょ。

Permalink |記事への反応(1) | 16:32

このエントリーをはてなブックマークに追加ツイートシェア

2025-03-16

anond:20250316213514

時間トラバ数すごいな

Permalink |記事への反応(1) | 23:44

このエントリーをはてなブックマークに追加ツイートシェア

2025-03-07

anond:20250307151351

1.スケール

ユーザー数すげえ

まあ俺まえERPだけど一人でそんなのやったことない

いいね

2.パフォーマンス要件

検索はBigOなのよ

いまレガシーに一つスキル低いのが組んだサービスがめちゃ遅いので苦労してる

そこはロジックちゃんとできるか

あとDBアクセスどうするか

普通に平気で1000倍とか違うから素人とかジュニアには触らせない

3.セキュリティ要件

決済ないならシステムでどうこうより単にUserIDと名前くらいしかもたないとかを考えるかな

4. チームの技術スタック

Pythonバックエンドとか小規模なFEならいいけどガチFEUIが求められるならそこには俺なら使わない

5.予算納期

3000万はきついな....

6. 将来の拡張性:

まあ英語なら大丈夫やろ

7.既存システムとの統合

段階的に置き換えるのが最高

なるべくクライアントごととか小さな単位でやってしかもすぐ戻せるようにしないと大概困る

既存サイズ次第だけど既存がでかいとここが一番やばい

グリコプッチンプリンとか1か月消えてたし

こんな感じかなあ

Permalink |記事への反応(0) | 15:42

このエントリーをはてなブックマークに追加ツイートシェア

2024-10-05

最近youtubeおすすめ動画とか関連動画で、めっちゃ登録数すくないvtuber配信動画があがってくる

2周年!とか登録者300人耐久!とかいうの

でも2周年なのに40人くらいしか配信みてなかったり、300人耐久であとたった数十人が足りなくて5時間とか歌枠やってたりして結局こずにあきらめるのとかほんま心痛くなるわ

vtuberってほんと大手有名床以外はやべえなって

Permalink |記事への反応(2) | 23:04

このエントリーをはてなブックマークに追加ツイートシェア

2024-09-10

おじいちゃん愛人がいた件

私は父方の祖父母と同居していた。三世住宅

おじいちゃん(ここでは便宜的に太郎おじいちゃんとする)はスリムかつ長身スポーツもでき、顔もまあまあハンサム。多趣味

かっこいいおじいちゃんだなと思っていた。

冬には、よくコンビニ肉まんあんまんを買ってきてくれたのも懐かしい。


で、そんな太郎おじいちゃんが1年間の闘病生活を経て亡くなった。

享年72歳。

太郎おじいちゃんが亡くなったことは悲しかったが、1年間の闘病生活を経て、おじいちゃん死ぬことを受け入れる準備ができていたので、無事見送ることができた。


話はそこから飛んで15年後。

母と私の2人で、昔話をしていたとき

(私はもう成人して社会人

母がふとこう話し始めた


「そういえばね。太郎おじいちゃん亡くなったでしょ。実はおじいちゃんには愛人らしい人がいたの。

おじいちゃんとおばあちゃんは仲が悪くて、おじいちゃんはできるだけ家にいたくなかったみたいで色々と趣味をしてたのだけど、

その趣味社交ダンスでどうやら知り合ったみたい。どれだけ長い付き合いだったか知らないけど。

まあ、おばあちゃん性格ねじ曲がっているからね(注:私の母とおばあちゃんは仲が悪い)。

それでね、私はおじいちゃんが亡くなる少し前に病院に呼ばれて、

封筒と、宛名と住所が書かれた紙を渡されて、「封筒郵便で送ってもらえないか」と言われたの。

名前は知らない女性名前で。私、そのとき、この宛先の人はおじいちゃん愛人だと直感したの。

だってそうでしょ。もし愛人でもなければ、私じゃなくて、おばあちゃんや、お父さん(私の父、おじいちゃんの息子)に頼んでいたはずでしょ。

自分奥さんと息子にはきっと伝えたくなかったのよ。

それで、私は余計なことは言わずに「分かりました」といって封筒宛名を受け取り病室を出た後、こっそり封筒の中を見たら、封をした手紙お金10万円くらい?入っていたの。

それを厚手の封筒に入れて送ったのよ。

で、それから何か月かして、おじいちゃんが亡くなったでしょ。

おじいちゃん地元友達やら知り合いやら多かったから、参列者の数すごく多かったじゃない。

で、参列者の席の後ろのほうに、60代くらいのきれいな女性がきて、私の目を見て、小さくおじぎをしたのね。

私はその時に、この人がおじいちゃん愛人だ、と直感したのよ。

会話はしてないけど、間違いなくこの人だ、と思ったのよ。

もちろん、その後一度も会ってないし、書かれた住所も忘れてしまっているから、いまどうしているかも知らないんだけどね。

それでね、思ったの。

愛人がいることはほめられたことではないけど、おじいちゃん愛人のひとがいて幸せだったと思うの。

おじいちゃん年金暮らしだし、特段の資産もないから、お金をかけて何かすることはあまりなかったと思うし、

しろそれがよかったと思うのだけど、誰にも迷惑をかけずに好きな人時間を過ごして、それで人に優しくなったのだと思う。

から私、愛人の人に感謝しているの。おじいちゃんに優しくしてくれてありがとう。その結果、おじいちゃん家族に優しくしてくれるようになったから。」


祖父若いころはい父親ではなかったし、妻である私のおばあちゃんとの相性も悪かった。

私の父は、両親はいつもけんかばかりしていた、と言っていた。

でも、祖父は私にとってはよい祖父だった。

かに祖父が、よい祖父でいられたのは、家の外で心の安寧を得ていたからかもしれない、と思う。

もちろんこのことは、私の父には伝えていない。

Permalink |記事への反応(7) | 16:43

このエントリーをはてなブックマークに追加ツイートシェア

次の25件>
ログインユーザー登録
ようこそ ゲスト さん
Copyright (C) 2001-2025 hatena. All Rights Reserved.

[8]ページ先頭

©2009-2025 Movatter.jp