Rubyへの型導入、実際にどんな利点がある？ 壊さず進める大規模コード改善の実践知 | レバテックラボ（レバテックLAB）
Rubyへの型導入、実際にどんな利点がある？ 壊さず進める大規模コード改善の実践知 2025年6月9日 株式会社タイミー Rubyコミッター Steep開発者 松本宗太郎 Rubyコミッター。大学院でRubyプログラムの型検査の研究に取り組む。修了後はスタートアップでWebアプリケーション開発に従事。2017年から型検査ツールSteepの開発を開始。2019年からはRubyコミッターとして、Ruby標準の型定義言語RBSの開発を主導。2024年4月、タイミーにフルタイムRubyコミッターとして入社。博士（工学）。 X（@soutaro） GitHub 株式会社タイミー バックエンドエンジニア 神山大智 2019年にITスタートアップに新卒入社。インフラからフロントエンドまでフルスタックに開発・運用に携わり、エンジニアリングマネージャーとなる。2024年6月に株式会社タイミーに入社、求人のマ
ボーカロイド動画を作ったらコメントで名前を付けられたのでノリでそのまま名乗ったら、その後ボーカロイド楽曲作者が後ろにPを着けて名乗る「ボカロP」の文化ができた話
ワンカップP @onecupp ボーカロイド動画を作ったらコメントで名前を付けられたのでノリでそのまま名乗ったら、ボーカロイド楽曲作者が後ろにPを着けて名乗る「ボカロP」の文化ができてしまった。 x.com/okanoyu01/stat… 2025-06-08 14:35:48 丘野 優 @okanoyu01 人生で最も嘘くさい経験って何だろう。 私がパッと思いつくのはせいぜい、たまたま行ったレストランに知り合いがいた、くらいしかないが……探せばあるのかな？ みんなあったら教えて欲しい。 2025-06-02 21:22:38 リンク ニコニコ大百科 ワンカップPとは (ワンカップピーとは) [単語記事] - ニコニコ大百科 ワンカップP（―ピー、―プロデューサー）とはVOCALOID楽曲中心に替え歌や編曲なども手がける作曲家で、ほのぼのとした画風の絵師でもある。自称「酒で作られた敗北者」
息子氏「天井から怪しい壺が生えてるよ！」わい「なーに言ってんn....壺！怪しい壺が！天井から生えてる！！！！！」
小林成彦｜見習い猟師カメラマン @naru422 息子氏「天井から怪しい壺が生えてるよ！」 わい「なーに言ってんn ....壺！怪しい壺が！天井から生えてる！！！！！ pic.x.com/oXARAwQyJD 2025-06-08 19:56:23
すべてのコーディングエージェントに独立した開発用コンテナ環境を与えられる「Container Use」、Docker創業者がオープンソースで公開
すべてのコーディングエージェントに独立した開発用コンテナ環境を与えられる「Container Use」、Docker創業者がオープンソースで公開 Docker創業者で現在はプラットフォームエンジニアリングのツールを開発するDagger社の創業者兼CTOのSolomon Hykes（ソロモン・ハイクス）氏は、すべてのコーディングエージェントに対してそれぞれ独立した開発用のコンテナ環境を与えられるオープンソースのツール「Container Use」を公開しました。 container-use has a logo. How do you like it? pic.twitter.com/IcKmbymGLW — Solomon Hykes (@solomonstre) June 7, 2025 AIエージェントがWebブラウザを操作できるようになる「Browser Use」や、AIエージェント
ソフトウェアエンジニアとしての将来が見えなくなってきた｜choo
昨今の AI の進化を見ていると、自分が会社員のソフトウェアエンジニアとして仕事をできるのは、あと何年間だろうかと思う。 まだ 5 年はだいじょぶかもしれないけど、10年はもうもたないかもしれない。正直 15 年はかなり厳しい気がする。 いや、5年後ももはやわからない。 ここ 1,2 年の間に就職すれば、その会社で 5 年以上はまだ働けるかもしれない。 しかし 5 年後にソフトウェアエンジニアとして自分が就職できる働き口はほとんどない可能性は十分にある。 正直今までのぼくの考えとしては、ソフトウェアエンジニアという職種は、AI が進化していっていろんな職業がなくなっていっても、その AI を作るのはソフトウェアエンジニアなのだから、他職種よりかは相対的に安泰だと思っていた。 でもここ半年くらいは、自分のキャリアの最後までソフトウェアエンジニアとして生きることはないだろうと思い始めている。
「こんなにしんどいことは、やりたくねえ」――借金28億円を完済、コンサートは4700回。さだまさし73歳のあきらめない人生（Yahoo!ニュース オリジナル RED Chair）
さだまさし（73）は人生を振り返り、「こんなにしんどいことは、やりたくねえ」とつぶやく。波瀾万丈の道のりだった。ヴァイオリンの天才少年として期待され、13歳で単身上京。家業が失敗し、生活に苦労しながら学生生活を送るも、ヴァイオリニストの道をあきらめる。紆余曲折を経てシンガー・ソングライターとして活躍し始めると、映画製作で28億円もの借金を背負った。コンサートを重ね、30年かけて完済。まもなくソロ公演の回数は4700回を迎える。挫折をどう乗り越えてきたのか。（文中敬称略／撮影：近藤俊哉／Yahoo!ニュース オリジナル RED Chair編集部） 「借金を返済したら、引退しようと思っていました。30代、40代と厳しいスケジュールをこなしてきたので、これが続くとも思えなかったし。返済して責任を果たしたら、いつやめてもいいだろう、と。だけど、東日本大震災が起きたんです。その時に、自分の人生を自分
教科書出版はもう立ち行かない｜神谷竜介＠俯旗軒
（2024/04/11記） 近年の大学でのテキスト（教科書）販売の動向をめぐっては、特にコロナ以降、注視し、割としつこく書いてきた。 2022/06/07に「教科書販売の憂鬱」、2022/12/30に「2022年の総括」、2023/05/28に「生態系の変化」といった具合である。 時系列で要旨をまとめると以下のようになる。 1）長らく低迷・漸減してきた教科書販売は2020年と2021年には例外的に下げ止まり、とくに2020年は近年まれに見る売れ行きを見せた。 それはコロナ禍によるリモート授業と大学に通えないことへの不安から、学生たちが心の拠り所としての教科書にすがったことで起こったイレギュラーな出来事だった。 2）2022年は学生の質と大学の対応によって売上に大きな差が生まれた。私はそれを「2019年までと同じ元の木阿弥の大学」「2020年並みの堅調だった大学」「2021年よりは緩やかに後
恐竜はお花見シーズンの「春」に絶滅したって本当？ 意外なことからわかる大昔の季節 - 講談社の動く図鑑MOVE｜講談社
みなさんはどの季節がいちばん好きですか？ 僕はどの季節も好きですが、１番を選ぶならやっぱり春かもしれません。気温も暖かくなってきて、桜などの花も綺麗で、自然と心も軽やかになるものです。 恐竜や翼竜、アンモナイトなど中生代の生きものたちは、そんなウキウキしてしまうような春のある日に巨大な隕石が落ちて絶滅してしまったらしいことが2022年の研究でわかりました。 でも、一体何を調べたら、そんなことがわかったのでしょうか？ みなさんもちょっと考えてみてください。 古生物学の研究にあまり詳しくない僕の妻にも同じ質問をして考えてもらったら、「お花見をしている恐竜の化石が見つかった」という答えが返ってきました。なかなかユニークな発想ですが、答えとしては残念ながらハズレです。 さらに他のアイディアはないかと聞いてみると…… 「春にしか咲かない花が、隕石が衝突したときの地層から見つかった」 「夏毛の羽毛をも
絶滅の春｜長瀬ほのか
「恐竜が絶滅した時、季節は春だったという研究結果があります。どうして春だとわかったのでしょう？」 パーテーションで区切ったデスクの向こう側から突如投げかけられた問いに、私はキーボードを打つ手を止めた。 「絶滅したの春なんだ」 「そう。なんでわかったと思う？」 何気ない感じの口調でもう一度尋ねる夫。その声色から察しがついた。ははん、これはあれだ。素人の回答が期待されている。何らかの事情で素人ならではの回答を必要としているが、古生物学者である夫はもはや素人の発想というのがわからない。そこで最も身近なド素人である私に白羽の矢が立った。そんなところだろう。 その思惑通りにすぐさま模範的素人回答を献上するのもつまらないので、ここはいっちょふざけてやろうと、熟考の末、「恐竜たちがお花見をしていた痕跡が残っていたから」という渾身の回答を出した。「いや真面目に」と窘められることを予想していたが、夫は意外に
古生物学者の夫から「恐竜が絶滅した時、春だったという説があります。なぜ春だとわかったのでしょう？」と聞かれた話→「え、これ実話なの？」「面白い短編だなと思ったら実話だった」
リンク 講談社の動く図鑑MOVE｜講談社 恐竜はお花見シーズンの「春」に絶滅したって本当？ 意外なことからわかる大昔の季節 - 講談社の動く図鑑MOVE｜講談社 「講談社の動く図鑑MOVE」より、古生物学者・相場大佑先生が見つけた、古生物のふしぎを紹介。今回は、大昔の季節の調べ方について相場先生が解説します！ 1 user 11 リンク note（ノート） 夫は斜め上をゆく｜長瀬ほのか ある日、夫が起きてそのままの状態でぐうたらしていたので、「顔くらい洗ってくれば？」と促すと、のそのそと洗面所に向かっていった。それを背後から尾行し様子を覗き見ていたところ、なんと、眼鏡をかけたまま顔を洗いはじめた。「眼鏡を外すのが面倒だった」と言う。まあそんな日もあるか、と軽く受け流せる話ではない。 いつだったか、顔を洗ったあと顔面ビチャビチャのまま辺りをうろついていたこともある。思わず「タオルって知ってる
【初心者向け】ほぼ無料でWebアプリをデプロイできるおすすめサービスまとめ - Qiita
はじめに 自分が開発したwebアプリを誰かに見てもらいたいときや使って欲しいときがあると思います。せっかく作ったので、どうせならデプロイしちゃいましょう！ 近年いろんなデプロイサービスが提供されており、無料枠の制限もさまざまです。無料枠でデプロイしてしばらく経ったとき、気づいたら課金されてしまっていることも... 今回は私が普段使っているデプロイサービスやクラウドサービスを紹介したいと思います。 新しいサービスのご紹介、またご指摘ありましたらコメントで教えてください！お願いします！ 【Tips】 今回ご紹介するサービスは以下の共通点があります 初回ボーナス及び無料期間を除き、以下の条件があること 無料プランの範囲で、工夫次第では 毎月1ヶ月近く（20日ぐらいが最低ライン）スリープなしで作動しておけるもの 有料であっても比較的安価であること（目安100円未満） 1. GitHub Pages
動画：「獲った4分の3を捨てる」底引き網漁、必死に逃げる魚たち
底引き網漁が海底に与えた影響を空から撮影した。（SILVERBACK FILMS AND OPEN PLANET STUDIOS） 破滅の雲が迫るなか、その道筋にいる生きものたちは必至に逃げる。 しかし、雲の動きは速く、どんどんと近づいてくる雲にやがて全ての生きものが飲み込まれていく。 パニック映画のように聞こえるかもしれない。しかし、これは底引き網漁を映した希少な映像の一場面だ。底引き網漁とは、重い鉄製の網を海底に落とし、それを船で引いて魚を獲る漁法。米国では主にマダラ、モンツキダラ、オヒョウなどの一魚種を狙うにもかかわらず、海底付近にいる生きもの全てを区別なく捕え、不要なものはあとで海に投げ捨てるという極めて破壊的な漁法だ。 「魚を獲るのに、これ以上にムダな方法は考えられません。捕えた獲物の4分の3以上は捨ててしまうのですからね」と、著名な自然史ドキュメンタリーの制作者であるデビッド・
人類のごみ、「わずか35年」で岩石化 英海岸で発見 | Forbes JAPAN 公式サイト（フォーブス ジャパン）
ごみとスラグ（ガラス・鉄鋼業界から生じる産業廃棄物の一種）が、わずか35年間で硬い岩石へと変化している現象を、英グラスゴー大学の研究チームが発見した。 研究チームは最新論文の中で、新発見の「迅速な人新世岩石サイクル」を初めて実証している。人新世の岩石サイクルは自然の岩石サイクルと同じ作用を及ぼすが、人為起源物質が関与することで極めて短期間で進行している。 研究チームの1人が、英イングランド北西部カンブリア州のウェストカンブリア地方にあるダーウェントハウの海岸沿いで、アルミ缶飲料の蓋（プルタブ）が奇妙な岩石の中に埋め込まれているのを偶然見つけたことが、全ての始まりだった。
将棋は大規模定跡によって終わってしまうのか？ | やねうら王 公式サイトやねうら王 公式サイト
floodgateという将棋AIの対局サイトでTuyouraOuというソフトが2週間レーティングで1位となった。 これは、私が放流しているソフトで、337万局面の大規模定跡を搭載している。dlshogiがWCSC35の時点で330万局面収録されているらしいので、(局面数においては)それを上回った形である。 どれくらいの精度の定跡が収録されているかについては、YouTuberのそらさんの動画がわかりやすい。 【前代未聞】世界1位のAIが「674兆局面調べて作られた定跡」を搭載している件 https://www.youtube.com/watch?v=IZ5-5yXwME0 実のところ、どの程度の精度の定跡になっているのか、私自身はあまり把握していない。各局面は、水匠10で1t(1スレッド) 2億ノードで掘っている。それをペタショック化(定跡ツリーをminimax化)して、使っている。 WCS
個人事業主や副業用でGoogleに課金するときどれ選べばいいんだよ問題・AI対応 2025年版（Google One / Google AI / Google Workspace の比較）Google Workspace使うとGeminiが格安 - nomolkのブログ
昨年、「Googleサービスに課金したいんだけど Google One とか Google Workspace とかいろいろある上に比較表みたいなのがなくて全然わからん」問題に回答する記事を書いたのですが、いまもけっこうアクセスがある＆ちょっと情報が古くなっているので、一年ぶりにアップデート版を公開します。 前回はAI（Gemini）まわりは考慮に入れていませんでしたが、関連機能が充実してきているので今回はそれも含めた比較をしていきます。 先に大事なことを書いておくと、Google Workspace Business Standard を使うと、条件付きでGeminiが割安で使えるのでお得です。 いかれたメンバーを紹介するぜ！ プランの選定条件として、下記が前提です。 組織（自分以外のメンバー）を持たない個人事業主である Google Meet で3人以上のグループ通話を60分制限なしで
Page Not Found
We couldn't find the page. Maybe you were looking for one of these pages below?
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
米ロサンゼルスで住民と移民当局が衝突 大規模摘発に反発 | NHKニュース