GMOインターネットグループの熊谷正寿代表は7月14日、在宅勤務の完全廃止に踏み切った理由を自身のXアカウントで説明した。在宅勤務では時間当たりのPCタイピング数がデータ上確実に減っているとし、「トータルで在宅勤務はマイナス」と判断したという。
行基は、奈良時代に活躍した僧侶。仏教の教えをもとに、救済事業をすすめ、近畿地方に洪水対策の施設や用水確保のため池などを造った。昆陽池（こやいけ）や狭山池（さやまいけ）などのため池は、幾たびかの改修を経て現在でも利用されている。 なお、行基は多くの寺や橋などを建設するとともに、最初の日本全図を作成したと言われている。
X Japanさんの紅はこちら！ https://youtu.be/8ArAnXLbFck?si=avKTNGGfp10hkVH6 『ガチャピン・ムックみんなともだちの日』特設サイトはこちら♪ https://www.gachapin-mukku.com/minna-tomodachi/ ぼくたちのオリジナル楽曲「ともだちのうた」配信中だよ！ ぜひチェックしてね♪ ［配信サイト］https://lnk.to/tomodachinouta ぼくたちのSNSもフォローしてね！ 【ガチャピン】 TikTok： https://www.tiktok.com/@gachapinofficial Instagram： https://www.instagram.com/gachapin_official/ X(Twitter)： https://twitter.com/gachapinblog
うっかりチューリング完全になっちゃったもの
Accidentally Turing-Complete ― Andreas Zwinkau 本来なら、チューリング完全となるべきではなかったものがある。これは、そのようなうっかりチューリング完全になってしまったものの例である。 C++テンプレート 当初はチューリング完全を目指していなかったが、C++テンプレートはチューリング完全になってしまった。その証明は、この論文にある（PDF） x86 MMU x86のpage fault handlingは、単純なマシンの実装に使える。原理としては、page faultが1 wordをスタックに積み、それによりアンダーフローを起こして別のトラップを生成する。この仕組みは、「減算して0以下ならば分岐」処理を実現する。チューリングマシンを実装するには十分である。デモ動画、講演動画 マジック・ザ・ギャザリング マジック・ザ・ギャザリングはカードゲームであ
ソフトウェアの工数見積もりは40年以上にわたって研究されてきた古いテーマで、入門書も実践書も数多い。だが現場で広く流布する「常識」の多くは、一次資料まで遡ると実証根拠が確認できない。確率分布が書ける前提で精度を磨いてきた見積もり研究は、確率分布が原理的に書けない領域から来る大幅超過には対応していない。見積もりが大幅に外れる事例の多くは、見積もり研究が前提としてきた範囲の外側で起きている。
化学メーカーの東レ・ファインケミカルは、工場内のオンプレミスサーバ（以下、工場内サーバ）で運用してきた約60種類の業務データベースをクラウドサービスに移行した。移行対象は約30万件のレコードに加えて、各レコードに添付したレポートなど約25GB分のファイルだ。 東レ・ファインケミカルは、工場設備の点検や修理、保全などに関する情報（設備管理情報）を蓄積する業務データベースをジャストシステムの「UnitBase」で構築し、工場内サーバで運用していた。東レグループ全体で既存システムをクラウドサービスに移行する方針が定まったことに加えて、セキュリティ水準や災害時の事業継続（BCP）を強化する必要性も高まったことから、業務データベースを運用する仕組みも見直すことにした。 「約30万レコードのクラウド移行」を1カ月で完了 どう実現したのか？ 見直しの結果、東レ・ファインケミカルはクラウドサービスに業務デ
発売当初はそれほど大きな注目を集めることはなかった同作だが、ラップを柱とし、“音ゲー”というジャンルの先駆けとなったリズムアクションのシステム、独特の世界観、ロドニー・アラン・グリーンブラット氏がデザインした個性的でかわいらしいペーパーキャラクターなどで徐々に注目を集めるようになり、やがては世界的なヒットを記録することに。 そんな『パラッパラッパー』の30周年を記念して、週刊ファミ通2026年7月2日・9日合併号では同作の特集を16ページにわたって掲載した。本記事では、同特集より、松浦雅也氏、伊藤ガビン氏、MC RYU氏という『パラッパ』開発の中心メンバーとなった3人のレジェンドが集ったインタビューを、加筆修正してお届けする。特集すべてを読みたくなった方は、ぜひ本誌のほうもチェックしてほしい。
プロ棋士 AIエンジニア 谷合 廣紀 東京大学工学部卒業。現在は同大学院博士課程に在籍し、コンピュータ将棋の開発やゲーム情報学の研究に従事する。将棋はアマ有段者の祖父に教わり、6歳で始める。2020年4月にプロ入りし、2025年7月に五段昇段。著書に『AI解析から読み解く 藤井聡太の選択』（マイナビ出版）、『Pythonで理解する統計解析の基礎』（技術評論社）。 生成AIの急速な普及により、私たちの働き方は劇的な変化を迎えています。しかし、多くの人はAIを用いた「効率化」の段階にとどまっており、AIとの対話を通じて自身の能力を拡張できている人は、まだ少ないのではないでしょうか。 そんな中、AIを「思考を深めるコーチ」としていち早く取り入れ、人間の成長につなげているのが将棋界です。現在、ほとんどのプロ棋士が研究にAIを活用しています。 今回は、プロ棋士でありながらAIエンジニア・研究者として
“開かずの基幹システム”、450人月→実質2カ月で解読 創業100年のカクヤス、生成AIで挑む「転生」：AWS Summit Japan 2026（1/2 ページ） 老朽化した基幹システムの刷新に、生成AIを持ち込む企業が増えている。設計書が残っていなくても、AIがソースコードを読み解き、業務ロジックを洗い出す。人の手では現実的でなかった規模の解析を、数カ月で終える例も出てきた。 酒類販売を手掛けるカクヤスもその1社だ。30年間動き続けた基幹システムは「触れない、読めない、直せない」状態に陥り、人の手で解析すれば450人月と試算する規模に膨らんでいた。この解析を、生成AIは実質2カ月に縮めたという。親会社ひとまいる（東京都北区）でグループシステム部門特命担当を務める石井氏が、AWSジャパンが6月25日から26日にかけて開催した「AWS Summit Japan 2026」（幕張メッセ）で、
米Googleで副社長兼チーフ・インターネット・エバンジェリストを務めるヴィント・サーフ氏（83）が、1週間後に同社を退任する──。米非営利団体Laude Institute主催のカンファレンス「Open Frontier」のパネルディスカッションで明らかになった。 サーフ氏は、ロバート・カーン氏と共にインターネットの基盤技術であるTCP/IPプロトコルを1970年代に開発した人物として知られ、「インターネットの父」の1人と称される。この功績により2004年にACMチューリング賞を受章したほか、日本国際賞やクイーン・エリザベス工学賞など数多くの国際的な賞を受けている。Googleに加わる以前は、米通信大手MCIで技術戦略担当の上級副社長などを歴任していた。 サーフ氏は2005年10月にGoogle入りし、20年以上にわたって副社長兼チーフ・インターネット・エバンジェリストとして、インターネ
米Googleで副社長兼チーフ・インターネット・エバンジェリストを務めるヴィント・サーフ氏（83）が、1週間後に同社を退任する──。米非営利団体Laude Institute主催のカンファレンス「Open Frontier」のパネルディスカッションで明らかになった。 サーフ氏は、ロバート・カーン氏と共にインターネットの基盤技術であるTCP/IPプロトコルを1970年代に開発した人物として知られ、「インターネットの父」の1人と称される。この功績により2004年にACMチューリング賞を受章したほか、日本国際賞やクイーン・エリザベス工学賞など数多くの国際的な賞を受けている。Googleに加わる以前は、米通信大手MCIで技術戦略担当の上級副社長などを歴任していた。 サーフ氏は2005年10月にGoogle入りし、20年以上にわたって副社長兼チーフ・インターネット・エバンジェリストとして、インターネ
米Googleで副社長兼チーフ・インターネット・エバンジェリストを務めるヴィント・サーフ氏（83）が、1週間後に同社を退任する──。米非営利団体Laude Institute主催のカンファレンス「Open Frontier」のパネルディスカッションで明らかになった。 サーフ氏は、ロバート・カーン氏と共にインターネットの基盤技術であるTCP/IPプロトコルを1970年代に開発した人物として知られ、「インターネットの父」の1人と称される。この功績により2004年にACMチューリング賞を受章したほか、日本国際賞やクイーン・エリザベス工学賞など数多くの国際的な賞を受けている。Googleに加わる以前は、米通信大手MCIで技術戦略担当の上級副社長などを歴任していた。 サーフ氏は2005年10月にGoogle入りし、20年以上にわたって副社長兼チーフ・インターネット・エバンジェリストとして、インターネ
男だって専業主婦という身の回りの世話をしてくれる人が居たからなんとかなってた その男と同じ土俵に女性をあげたら身の回りの世話を誰がするの？って話で 男も女も生活が崩壊して少子化になるに決まってるじゃん まず、専業主婦のいるサラリーマン夫で回ってた社会を見直す事がスタートでしょ 一人暮らし男女で回る社会、子育て中男女で回る社会にランクアップさせなきゃ無理でしょ 仕事に時間使い過ぎなんだよ 豊かさを捨てろ 新しいものを生み出す労力の大半を維持へ回せ 労働時間を減らしながら生産性を維持する？無理無理 労働できる余白ができたらそこに仕事を詰め込むのが、専業主婦のいるサラリーマン夫で回ってた社会だよ 労働時間の制限以外に競争市場から距離を置く方法は存在しない 日本運営シミュレーションゲームしてると想像してみてよ このままじゃ人口減ってゲームオーバーだよ ゲーマーならどうする？ 追加情報 OECDの2
誰にも教わらず、2カ月で10万行 ――今お見せいただいているのが、自作されたアプリですか？ そう、僕の時間を管理するためのポータル。昔はExcelで手作りしていた、自分の寿命から逆算して行動する「人生時計シート」や、生涯かけてかなえたい夢を書き連ねた「夢リスト」が見られるアプリです。ほら、僕の平均余命の残りが「あと20年と17日、4時間35分53秒」（※取材時点）と秒単位でカウントダウンされている。 熊谷さんが自分専用に開発したアプリの画面 毎朝これを見て、減っていく秒数と向き合うことで、「1分1秒も無駄にできないな」と時間の価値をガツンと意識して、今日一番やるべき大事なことは何かって考えているんです。もう何十年もこういうやり方で自分の時間を管理し続けているんですが、それがAIのおかげで進化して、今は自分専用のアプリとして開発しちゃいました。 ――これを全てClaude Codeで作ったと
「とほほのWWW入門」管理人 杜甫々（とほほ） ソフトウェアエンジニア。1965年生まれ。1988年、広島のソフトウェア会社に入社し、2025年10月に定年退職。1996年にWeb技術解説サイト「とほほのWWW入門」を開設。執筆・公開した記事は1000件以上。趣味は食べ歩きやセンベロ・スーパー銭湯めぐりなど。座右の銘は「一行入魂」と「ま、いっかぁ」。 とほほのWWW入門 1996年の開設以来、日本のWeb黎明期から現在に至るまで、数え切れないほどの初心者プログラマーを救い、育ててきた技術解説サイト「とほほのWWW入門」。 その管理人である杜甫々（とほほ）さんは、1988年の新卒入社から一貫して同じソフトウェアハウスにエンジニアとして勤め上げ、2025年に定年退職を迎えました。 膨大な記事量を誇る「とほほのWWW入門」を運営する傍らで、会社員としてはどのような人生を歩んできたのか？ 今回は、
私は、医療機関向けに幾多のサービスを展開する組織に所属し、認証基盤、ID基盤、ライセンス基盤、証明書基盤などを開発・運用するチームでテックリードをしている。この4年間、そうしたミッションクリティカルな領域のプラットフォームがサーバサイドTypeScriptで実現されているという状況に向き合い、苦しみ、そしてその苦しみを解決し続けてきた。そこから得た洞察を共有したい。 サーバサイドTypeScriptに限らず、せっかくこの記事を読んでくれている方々に対して、改めて技術やプログラミング言語に対する向き合い方を考え直す上でたった一つでもヒントを提供できたらうれしい。 なぜ今もプログラミング言語へ関心を払うのか さて、Coding Agentは、アプリケーションコードだろうがインフラだろうがDBのクエリだろうが、何でも設計して実装する。そうした環境にあって、昨今は「どの言語を選んでも目的を達成でき
クラウドフレア（Cloudflare）のCEOマシュー・プリンスが、自動化されたボットのトラフィックが、業界の誰もがこれほど早く到来するとは予想していなかった一線を越えたとX（旧ツイッター）に投稿した。インターネットの歴史上初めて、機械が生み出すウェブトラフィックが人間のそれを上回ったのだ。 クラウドフレアのデータ分析プラットフォーム「Radar（レーダー）」のダッシュボードによれば、HTMLコンテンツへの全HTTPリクエストのうち、ボットが57.5％を占め、人間は42.5％にとどまる。プリンスはこの逆転を2027年末と見込んでいたが、実際には18カ月も早く訪れた。 インターネットは、人間にとっての使いやすさと関心（アテンション）を軸に設計されてきた。そして、デジタル広告、SaaS（クラウド型ソフトウェア）のコンバージョンファネル（顧客獲得の道筋）、パブリッシャー（メディア企業）の収益化、
アナログゲーム事業を手掛けるアークライトが5月23～24日にかけて開催したボードゲームの展示即売会「ゲームマーケット2026春」。2日間で3万人超が来場する、ボードゲーム関連では国内屈指のイベントだ。会場には、商業・同人を問わず多種多様なゲームがずらりと並んでいた。 実は筆者も個人でボードゲームを作っており、イベントに両日参加し自身の作品を頒布していた。空き時間には出展ゲームを見学していたが、中にはIT関係の用語・話題をテーマにした作品も。本記事では筆者が実際に見つけた・入手したIT系ボードゲームをいくつか紹介する。 なお、イベントには取材で赴いたわけでなく、あくまでも自身の作品を頒布する空き時間で探したため、出展作品を網羅できているわけではない。売り切れなどの理由もあってすべてを入手できたわけでもないので、その点はご了承願いたい。 HTTPステータスコードやLinuxコマンドテーマのかる
いわゆるIT系で働き始めて27年ほどが経ちました。転職したり会社が買収されたりして、結果的には7~9社で働いてきました。(転職を沢山したわけではなくカウント方法が複雑なため)前職は20年所属していたのでしっかり長めに働いていました。 働くうちに立場が変わっていき、長く働いていると失敗も成功もしてきました。その過程でずっと疑問だったことがありました。 「なぜ、あの人は信頼されるのか」 はじめのうちは、年長者だからとか役職者だからとかスキルがあるのだと思ってたけど、どうやら違う。頭がめちゃくちゃいい人より、そうでもない人のほうが信頼されてることがある。営業成績がいい人より、売上はそうでもないけど周囲に頼られている人がいる。 その信頼を勝ち得ている彼らは何が違うのか。観察を続けて気づいたのは信頼とは毎日の地味な態度の積み重ねということ。特別なスキルではなくむしろ基本。基本こそが最も大事だというこ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
