関数型プログラミング+証明
これらは次世代のソフトウェア開発では必須の技術です。
AIが吐いたコードをどうやって信用するんですか?
そういう未来が見えてるから、
海外の大学(アメリカとヨーロッパだけっぽいが)は、
Leanのクラスがある。
次世代のソフトウェア開発者を育てるために。
これらは次世代のソフトウェア開発では必須の技術です。
AIが吐いたコードをどうやって信用するんですか?
そういう未来が見えてるから、
海外の大学(アメリカとヨーロッパだけっぽいが)は、
Leanのクラスがある。
次世代のソフトウェア開発者を育てるために。
November 9, 2025 at 3:40 AM
関数型プログラミング+証明
これらは次世代のソフトウェア開発では必須の技術です。
AIが吐いたコードをどうやって信用するんですか?
そういう未来が見えてるから、
海外の大学(アメリカとヨーロッパだけっぽいが)は、
Leanのクラスがある。
次世代のソフトウェア開発者を育てるために。
これらは次世代のソフトウェア開発では必須の技術です。
AIが吐いたコードをどうやって信用するんですか?
そういう未来が見えてるから、
海外の大学(アメリカとヨーロッパだけっぽいが)は、
Leanのクラスがある。
次世代のソフトウェア開発者を育てるために。
彼のソフトウェアの自由への貢献、コミュニティの構築、そして倫理的な技術開発への取り組みを讃えるものです。 (2/2)
November 8, 2025 at 11:43 AM
彼のソフトウェアの自由への貢献、コミュニティの構築、そして倫理的な技術開発への取り組みを讃えるものです。 (2/2)
暇な時間を持て余し、将来に不安を感じやすい人には、オープンソースプロジェクトへの貢献を検討するのがおすすめです。
プログラミングスキルを向上させながら、世界中の開発者と協力し、大規模なソフトウェア開発の一端を担えます。
GitHubなどで興味のあるプロジェクトを探し、バグ修正やドキュメントの改善など、貢献できる範囲で始めてみましょう。
技術コミュニティとの繋がりが刺激になり、新しいキャリアの可能性も開けるかもしれません。
#オープンソース #プログラミング #スキルアップ #コミュニティ
プログラミングスキルを向上させながら、世界中の開発者と協力し、大規模なソフトウェア開発の一端を担えます。
GitHubなどで興味のあるプロジェクトを探し、バグ修正やドキュメントの改善など、貢献できる範囲で始めてみましょう。
技術コミュニティとの繋がりが刺激になり、新しいキャリアの可能性も開けるかもしれません。
#オープンソース #プログラミング #スキルアップ #コミュニティ
November 7, 2025 at 1:00 AM
暇な時間を持て余し、将来に不安を感じやすい人には、オープンソースプロジェクトへの貢献を検討するのがおすすめです。
プログラミングスキルを向上させながら、世界中の開発者と協力し、大規模なソフトウェア開発の一端を担えます。
GitHubなどで興味のあるプロジェクトを探し、バグ修正やドキュメントの改善など、貢献できる範囲で始めてみましょう。
技術コミュニティとの繋がりが刺激になり、新しいキャリアの可能性も開けるかもしれません。
#オープンソース #プログラミング #スキルアップ #コミュニティ
プログラミングスキルを向上させながら、世界中の開発者と協力し、大規模なソフトウェア開発の一端を担えます。
GitHubなどで興味のあるプロジェクトを探し、バグ修正やドキュメントの改善など、貢献できる範囲で始めてみましょう。
技術コミュニティとの繋がりが刺激になり、新しいキャリアの可能性も開けるかもしれません。
#オープンソース #プログラミング #スキルアップ #コミュニティ
VWは「お尻」で中国に勝つ ソフトウェアには真似できない開発ツールとは? 技術責任者が語る情熱 | AUTOCAR JAPAN
https://www.wacoca.com/news/2688843/
人間の感覚に勝るものなし 欧州の歴史ある自動車メーカーはここ数十年で最も深刻な課題に直面している。野心的な中国車が次々と市場に流入し、その技術はますます進化しているのだ。 しかし、フォルクスワーゲンの技術責任者は、中国の [...]
https://www.wacoca.com/news/2688843/
人間の感覚に勝るものなし 欧州の歴史ある自動車メーカーはここ数十年で最も深刻な課題に直面している。野心的な中国車が次々と市場に流入し、その技術はますます進化しているのだ。 しかし、フォルクスワーゲンの技術責任者は、中国の [...]
VWは「お尻」で中国に勝つ ソフトウェアには真似できない開発ツールとは? 技術責任者が語る情熱 | AUTOCAR JAPAN - WACOCA NEWS
フォルクスワーゲンの技術開発責任者カイ・グリューニッツ氏は「お尻」が重要な開発ツールだと語ります。人間の感覚と経験こそが、野心的な中国メーカーに対する同社の優位性とのこと。短期開発やSDVについても聞きました。フォルクスワーゲンの技術開発責任者カイ・グリューニッツ氏は「お尻」が重要な開発ツールだと語ります。人間の感覚と経験こそが、野心的な中国メーカーに対する同社の優位性とのこと。短期開発やSDVについても聞きました。
www.wacoca.com
November 6, 2025 at 10:00 AM
VWは「お尻」で中国に勝つ ソフトウェアには真似できない開発ツールとは? 技術責任者が語る情熱 | AUTOCAR JAPAN
https://www.wacoca.com/news/2688843/
人間の感覚に勝るものなし 欧州の歴史ある自動車メーカーはここ数十年で最も深刻な課題に直面している。野心的な中国車が次々と市場に流入し、その技術はますます進化しているのだ。 しかし、フォルクスワーゲンの技術責任者は、中国の [...]
https://www.wacoca.com/news/2688843/
人間の感覚に勝るものなし 欧州の歴史ある自動車メーカーはここ数十年で最も深刻な課題に直面している。野心的な中国車が次々と市場に流入し、その技術はますます進化しているのだ。 しかし、フォルクスワーゲンの技術責任者は、中国の [...]
良いチーム作りや成長のための気づきや実践例を共有しています。さらに、著者の活動や技術ブログ、書籍執筆、YouTubeチャンネルなどの紹介も含まれ、多岐にわたるIT・ソフトウェア開発の情報やリソースの整理・記録も併せて述べられています。 (2/2)
October 30, 2025 at 5:04 AM
良いチーム作りや成長のための気づきや実践例を共有しています。さらに、著者の活動や技術ブログ、書籍執筆、YouTubeチャンネルなどの紹介も含まれ、多岐にわたるIT・ソフトウェア開発の情報やリソースの整理・記録も併せて述べられています。 (2/2)
物流と製造業の発展を支えるハンディターミナルの技術革新#東京都#港区#ローコード開発#マジックソフトウェア#ハンディターミナル
物流や製造業で増加するハンディターミナルの課題を解決するウェビナーが開催。迅速な対応を可能にするローコード開発に注目!
物流や製造業で増加するハンディターミナルの課題を解決するウェビナーが開催。迅速な対応を可能にするローコード開発に注目!
物流と製造業の発展を支えるハンディターミナルの技術革新
物流や製造業で増加するハンディターミナルの課題を解決するウェビナーが開催。迅速な対応を可能にするローコード開発に注目!
news.3rd-in.co.jp
October 30, 2025 at 12:19 AM
物流と製造業の発展を支えるハンディターミナルの技術革新#東京都#港区#ローコード開発#マジックソフトウェア#ハンディターミナル
物流や製造業で増加するハンディターミナルの課題を解決するウェビナーが開催。迅速な対応を可能にするローコード開発に注目!
物流や製造業で増加するハンディターミナルの課題を解決するウェビナーが開催。迅速な対応を可能にするローコード開発に注目!
MITRE、検出・モバイル・ICSのアップデートを含むATT&CK v18を発表
MITREは火曜日、ATT&CKフレームワークがバージョン18に更新され、いくつかのセクションで大幅な変更が加えられたと発表しました。 同組織によると、広く利用されている敵対者の戦術や技術のナレッジベースであるATT&CKの2025年10月のアップデートでは、技術、グループ、キャンペーン、ソフトウェアの面で改善が行われています。 連邦資金による研究開発センターは、主な変更点は、ATT&CK v17と比較して、ATT&CKの防御コンテンツに関するものだと述べています。…
MITREは火曜日、ATT&CKフレームワークがバージョン18に更新され、いくつかのセクションで大幅な変更が加えられたと発表しました。 同組織によると、広く利用されている敵対者の戦術や技術のナレッジベースであるATT&CKの2025年10月のアップデートでは、技術、グループ、キャンペーン、ソフトウェアの面で改善が行われています。 連邦資金による研究開発センターは、主な変更点は、ATT&CK v17と比較して、ATT&CKの防御コンテンツに関するものだと述べています。…
MITRE、検出・モバイル・ICSのアップデートを含むATT&CK v18を発表
MITREは火曜日、ATT&CKフレームワークがバージョン18に更新され、いくつかのセクションで大幅な変更が加えられたと発表しました。 同組織によると、広く利用されている敵対者の戦術や技術のナレッジベースであるATT&CKの2025年10月のアップデートでは、技術、グループ、キャンペーン、ソフトウェアの面で改善が行われています。 連邦資金による研究開発センターは、主な変更点は、ATT&CK v17と比較して、ATT&CKの防御コンテンツに関するものだと述べています。 具体的には、検出に2つの新しいオブジェクトが追加されました。特定の攻撃者技術を検出するための高レベルなアプローチを定義する「検出戦略」と、プラットフォーム固有の脅威検出ロジックを提供する「アナリティクス」です。 エンタープライズセクションでは、MITREは最新のインフラストラクチャ、CI/CDパイプライン、Kubernetes、クラウドデータベースに関する技術を追加しました。ATT&CK v18には、ランサムウェア準備行動や、攻撃者が自らのキャンペーンに関する情報を得るために脅威インテリジェンスソースを監視する行動も含まれています。 ATT&CK v18のサイバー脅威インテリジェンス(CTI)セクションでは、新たなグループやキャンペーン、サプライチェーン攻撃、クラウドIDの悪用、仮想化およびエッジシステムを狙った攻撃に関連するソフトウェアが追加されています。 モバイルセクションでは、SignalやWhatsAppの「リンク済みデバイス」機能を悪用する敵対者への対応が追加されました。また、このセクションでは、ATT&CKのバージョン7で非推奨となっていた「アクセシビリティ機能の悪用」技術が復活しています。 産業用制御システム(ICS)セクションで最も重要な変更点は、新しいアセットの追加と既存アセットの説明の更新に関連しています。新たに追加されたアセットは、分散制御システムコントローラー、ファイアウォール、スイッチです。 MITREは火曜日、エンドユーザー、ベンダー、政府機関、学術機関を代表するアドバイザーからの意見を受け付ける正式なチャネルとなるATT&CKアドバイザリーカウンシルの設立も発表しました。 翻訳元:
blackhatnews.tokyo
October 29, 2025 at 1:38 PM
MITRE、検出・モバイル・ICSのアップデートを含むATT&CK v18を発表
MITREは火曜日、ATT&CKフレームワークがバージョン18に更新され、いくつかのセクションで大幅な変更が加えられたと発表しました。 同組織によると、広く利用されている敵対者の戦術や技術のナレッジベースであるATT&CKの2025年10月のアップデートでは、技術、グループ、キャンペーン、ソフトウェアの面で改善が行われています。 連邦資金による研究開発センターは、主な変更点は、ATT&CK v17と比較して、ATT&CKの防御コンテンツに関するものだと述べています。…
MITREは火曜日、ATT&CKフレームワークがバージョン18に更新され、いくつかのセクションで大幅な変更が加えられたと発表しました。 同組織によると、広く利用されている敵対者の戦術や技術のナレッジベースであるATT&CKの2025年10月のアップデートでは、技術、グループ、キャンペーン、ソフトウェアの面で改善が行われています。 連邦資金による研究開発センターは、主な変更点は、ATT&CK v17と比較して、ATT&CKの防御コンテンツに関するものだと述べています。…
今日は情報セキュリティマネジメント試験を受けてきた。IPAの資格試験は今はなくなったソフトウェア開発技術者試験に2008年に受かって以来17年ぶりに受けた。
CBT方式も初めて経験した。試験自体は手応えはなかったが700点代後半だったので合格のようだ。他の資格は知らないが、試験終了時にその場で採点結果が表示され、試験前に登録したWEBサイトでも即日結果が反映される。便利になった。
「ゆっくり急ぐ」人が交付者の合格証書の受け取りを楽しみにしておこう。ちなみにソフ開の合格証書の交付者は二階さんだった。
CBT方式も初めて経験した。試験自体は手応えはなかったが700点代後半だったので合格のようだ。他の資格は知らないが、試験終了時にその場で採点結果が表示され、試験前に登録したWEBサイトでも即日結果が反映される。便利になった。
「ゆっくり急ぐ」人が交付者の合格証書の受け取りを楽しみにしておこう。ちなみにソフ開の合格証書の交付者は二階さんだった。
October 26, 2025 at 8:38 AM
今日は情報セキュリティマネジメント試験を受けてきた。IPAの資格試験は今はなくなったソフトウェア開発技術者試験に2008年に受かって以来17年ぶりに受けた。
CBT方式も初めて経験した。試験自体は手応えはなかったが700点代後半だったので合格のようだ。他の資格は知らないが、試験終了時にその場で採点結果が表示され、試験前に登録したWEBサイトでも即日結果が反映される。便利になった。
「ゆっくり急ぐ」人が交付者の合格証書の受け取りを楽しみにしておこう。ちなみにソフ開の合格証書の交付者は二階さんだった。
CBT方式も初めて経験した。試験自体は手応えはなかったが700点代後半だったので合格のようだ。他の資格は知らないが、試験終了時にその場で採点結果が表示され、試験前に登録したWEBサイトでも即日結果が反映される。便利になった。
「ゆっくり急ぐ」人が交付者の合格証書の受け取りを楽しみにしておこう。ちなみにソフ開の合格証書の交付者は二階さんだった。
💡 Summary:
この文章は、21世紀のプログラミングは単なる技術の習得ではなく、アイデアを実現することに重点を置くべきだと強調しています。そして、従来の枠にとらわれない革新的なコンピュータサイエンスのコースを提案しています。具体的には、オブジェクト指向プログラミングの「忘却」や歴史的なソフトウェアの研究、遅い言語でのコード最適化、ユーザーエクスペリエンスや開発者の心理を探るといった内容です。著者は、プログラミング教育や実践において、より広く創造的なアプローチを取ることの重要性を訴え、ユーザーインターフェースやパフォーマンス、 (1/2)
この文章は、21世紀のプログラミングは単なる技術の習得ではなく、アイデアを実現することに重点を置くべきだと強調しています。そして、従来の枠にとらわれない革新的なコンピュータサイエンスのコースを提案しています。具体的には、オブジェクト指向プログラミングの「忘却」や歴史的なソフトウェアの研究、遅い言語でのコード最適化、ユーザーエクスペリエンスや開発者の心理を探るといった内容です。著者は、プログラミング教育や実践において、より広く創造的なアプローチを取ることの重要性を訴え、ユーザーインターフェースやパフォーマンス、 (1/2)
October 24, 2025 at 9:43 PM
💡 Summary:
この文章は、21世紀のプログラミングは単なる技術の習得ではなく、アイデアを実現することに重点を置くべきだと強調しています。そして、従来の枠にとらわれない革新的なコンピュータサイエンスのコースを提案しています。具体的には、オブジェクト指向プログラミングの「忘却」や歴史的なソフトウェアの研究、遅い言語でのコード最適化、ユーザーエクスペリエンスや開発者の心理を探るといった内容です。著者は、プログラミング教育や実践において、より広く創造的なアプローチを取ることの重要性を訴え、ユーザーインターフェースやパフォーマンス、 (1/2)
この文章は、21世紀のプログラミングは単なる技術の習得ではなく、アイデアを実現することに重点を置くべきだと強調しています。そして、従来の枠にとらわれない革新的なコンピュータサイエンスのコースを提案しています。具体的には、オブジェクト指向プログラミングの「忘却」や歴史的なソフトウェアの研究、遅い言語でのコード最適化、ユーザーエクスペリエンスや開発者の心理を探るといった内容です。著者は、プログラミング教育や実践において、より広く創造的なアプローチを取ることの重要性を訴え、ユーザーインターフェースやパフォーマンス、 (1/2)
記事の要約: MSIがEV充電器を家電量販店で販売することは驚きですが、同社はPCメーカーとしての長年の取引を活かし、広範な顧客層にアプローチしブランド認知度を高める狙いがあります。台湾ではEVの需要が急増しており、MSIは3年前から充電器の開発を始め、昨年から国内販売を開始し、すでに2000台以上を販売しています。MSIの強みは、PC開発で培った安全性やソフトウェア技術にあり、独自のエネルギー管理システムやモバイルアプリを通じて、充電状態やスケジュールの管理が可能なトータルソリューションを提供することを目指しています。
「msi 充電器 ev」に関する記事です: https://ascii.jp/elem/000/004/311/4311400/
EV充電器が家電量販店で買える? 販売はPCパーツのMSI? 情報量が多すぎるのでMSIにいろいろ聞いてきた (1/2)
MSIは8月からEV(電気自動車)向け普通充電器「EV Life」の販売を、量販店のコジマ実店舗、またはビックカメラのECサイトで開始した。
ascii.jp
October 24, 2025 at 3:41 PM
記事の要約: MSIがEV充電器を家電量販店で販売することは驚きですが、同社はPCメーカーとしての長年の取引を活かし、広範な顧客層にアプローチしブランド認知度を高める狙いがあります。台湾ではEVの需要が急増しており、MSIは3年前から充電器の開発を始め、昨年から国内販売を開始し、すでに2000台以上を販売しています。MSIの強みは、PC開発で培った安全性やソフトウェア技術にあり、独自のエネルギー管理システムやモバイルアプリを通じて、充電状態やスケジュールの管理が可能なトータルソリューションを提供することを目指しています。
“信頼できないAI”はいらない――IBMとAnthropicが手を組む理由:開発効率45%アップの報告も
TechTargetジャパン - ITmedia
AI技術の業務利用には、セキュリティという壁が存在する。IBMはAnthropicと提携し、自社のソフトウェア開発ツール群にClaudeを組み込むことで、「信頼性」を ...
techtarget.itmedia.co.jp/tt/news/2510...
TechTargetジャパン - ITmedia
AI技術の業務利用には、セキュリティという壁が存在する。IBMはAnthropicと提携し、自社のソフトウェア開発ツール群にClaudeを組み込むことで、「信頼性」を ...
techtarget.itmedia.co.jp/tt/news/2510...
“信頼できないAI”はいらない――IBMとAnthropicが手を組む理由
AI技術の業務利用には、セキュリティという壁が存在する。IBMはAnthropicと提携し、自社のソフトウェア開発ツール群にClaudeを組み込むことで、「信頼性」を武器に市場に乗り出そうとしている。
techtarget.itmedia.co.jp
October 24, 2025 at 3:05 AM
“信頼できないAI”はいらない――IBMとAnthropicが手を組む理由:開発効率45%アップの報告も
TechTargetジャパン - ITmedia
AI技術の業務利用には、セキュリティという壁が存在する。IBMはAnthropicと提携し、自社のソフトウェア開発ツール群にClaudeを組み込むことで、「信頼性」を ...
techtarget.itmedia.co.jp/tt/news/2510...
TechTargetジャパン - ITmedia
AI技術の業務利用には、セキュリティという壁が存在する。IBMはAnthropicと提携し、自社のソフトウェア開発ツール群にClaudeを組み込むことで、「信頼性」を ...
techtarget.itmedia.co.jp/tt/news/2510...
Application Engineer
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
Application Engineer
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
testengineer.biz
October 23, 2025 at 3:43 PM
Application Engineer
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
Application Engineer
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
Application Engineer
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
testengineer.biz
October 22, 2025 at 8:37 PM
Application Engineer
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
#これを見た人は自分の看板娘の画像を貼れ
最近はこの娘かな?
設定は……組み込みソフトウェア技術者。院卒だが家の事情で自宅から通える田舎の中小企業に勤務している。多品種開発チームに所属しており、力尽きて辞めた先輩の後始末や、口だけ達者で腕がイマイチな同僚の巻き添えなど、バラエティに富んだタフな日々を送る。嫌な勘はだいたい当たる。貧乏くじもよく当たる。名前はまだ無い。
最近はこの娘かな?
設定は……組み込みソフトウェア技術者。院卒だが家の事情で自宅から通える田舎の中小企業に勤務している。多品種開発チームに所属しており、力尽きて辞めた先輩の後始末や、口だけ達者で腕がイマイチな同僚の巻き添えなど、バラエティに富んだタフな日々を送る。嫌な勘はだいたい当たる。貧乏くじもよく当たる。名前はまだ無い。
October 22, 2025 at 12:50 PM
#これを見た人は自分の看板娘の画像を貼れ
最近はこの娘かな?
設定は……組み込みソフトウェア技術者。院卒だが家の事情で自宅から通える田舎の中小企業に勤務している。多品種開発チームに所属しており、力尽きて辞めた先輩の後始末や、口だけ達者で腕がイマイチな同僚の巻き添えなど、バラエティに富んだタフな日々を送る。嫌な勘はだいたい当たる。貧乏くじもよく当たる。名前はまだ無い。
最近はこの娘かな?
設定は……組み込みソフトウェア技術者。院卒だが家の事情で自宅から通える田舎の中小企業に勤務している。多品種開発チームに所属しており、力尽きて辞めた先輩の後始末や、口だけ達者で腕がイマイチな同僚の巻き添えなど、バラエティに富んだタフな日々を送る。嫌な勘はだいたい当たる。貧乏くじもよく当たる。名前はまだ無い。
Application Engineer
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
Application Engineer
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
testengineer.biz
October 21, 2025 at 7:04 PM
Application Engineer
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
記事の要約: Appleは、ソフトウェア開発における革新的なAI技術を紹介する3つの研究論文を発表しました。これにより、AIはコードのエラーを予測し、テストを自動生成し、さらには人間の介入なしにプログラムを修正することが可能になります。
最初の研究では、オートエンコーダトランスフォーマーモデルを用いて、98%以上の精度でエラーの発生可能性を特定する技術が紹介されています。次の研究では、自律型AIエージェントを利用したテスト計画の自動作成が行われ、テスト時間を85%短縮し、コストを約35%削減することができるとされています。
最後の研究であるSWE-Gymは、AIがコード内のエラーを直接修…
最初の研究では、オートエンコーダトランスフォーマーモデルを用いて、98%以上の精度でエラーの発生可能性を特定する技術が紹介されています。次の研究では、自律型AIエージェントを利用したテスト計画の自動作成が行われ、テスト時間を85%短縮し、コストを約35%削減することができるとされています。
最後の研究であるSWE-Gymは、AIがコード内のエラーを直接修…
「テスト 予測 ai」に関する記事です: https://www.letemsvetemapplem.eu/ja/2025/10/21/apple-testuje-revolucni-ai-ktera-dokaze-predvidat-chyby-v-kodu-psat-testy-i-opravovat-software/
Apple コードのエラーを予測し、テストを記述し、ソフトウェアを修正できる革新的なAIをテストします
Apple 人工知能がソフトウェア開発の世界を根本的に変革する可能性を示す3つの新たな研究論文を発表しました。AIはコードのエラーを予測するだけでなく…
www.letemsvetemapplem.eu
October 21, 2025 at 2:17 PM
記事の要約: Appleは、ソフトウェア開発における革新的なAI技術を紹介する3つの研究論文を発表しました。これにより、AIはコードのエラーを予測し、テストを自動生成し、さらには人間の介入なしにプログラムを修正することが可能になります。
最初の研究では、オートエンコーダトランスフォーマーモデルを用いて、98%以上の精度でエラーの発生可能性を特定する技術が紹介されています。次の研究では、自律型AIエージェントを利用したテスト計画の自動作成が行われ、テスト時間を85%短縮し、コストを約35%削減することができるとされています。
最後の研究であるSWE-Gymは、AIがコード内のエラーを直接修…
最初の研究では、オートエンコーダトランスフォーマーモデルを用いて、98%以上の精度でエラーの発生可能性を特定する技術が紹介されています。次の研究では、自律型AIエージェントを利用したテスト計画の自動作成が行われ、テスト時間を85%短縮し、コストを約35%削減することができるとされています。
最後の研究であるSWE-Gymは、AIがコード内のエラーを直接修…
💡 Summary by GPT:
この文章は、Kent Beck氏の講演や関連する最新の開発・組織論議を中心に、ソフトウェア開発における価値創出や生産性向上の重要性を論じています。労力やアウトプットだけに偏らず、価値や影響(Impact)を適切に測定・評価することの難しさと、そのためのバランスの取り方を強調しています。また、AIや拡張プログラミングの導入による効率化や若手育成の方法、リーダーシップのあり方、指標に過度に依存しない管理の重要性も述べられています。さらに、最新の技術動向や調査結果、さまざまなテーマの開発関連記事やリストも紹介されており、 (1/2)
この文章は、Kent Beck氏の講演や関連する最新の開発・組織論議を中心に、ソフトウェア開発における価値創出や生産性向上の重要性を論じています。労力やアウトプットだけに偏らず、価値や影響(Impact)を適切に測定・評価することの難しさと、そのためのバランスの取り方を強調しています。また、AIや拡張プログラミングの導入による効率化や若手育成の方法、リーダーシップのあり方、指標に過度に依存しない管理の重要性も述べられています。さらに、最新の技術動向や調査結果、さまざまなテーマの開発関連記事やリストも紹介されており、 (1/2)
October 21, 2025 at 11:04 AM
💡 Summary by GPT:
この文章は、Kent Beck氏の講演や関連する最新の開発・組織論議を中心に、ソフトウェア開発における価値創出や生産性向上の重要性を論じています。労力やアウトプットだけに偏らず、価値や影響(Impact)を適切に測定・評価することの難しさと、そのためのバランスの取り方を強調しています。また、AIや拡張プログラミングの導入による効率化や若手育成の方法、リーダーシップのあり方、指標に過度に依存しない管理の重要性も述べられています。さらに、最新の技術動向や調査結果、さまざまなテーマの開発関連記事やリストも紹介されており、 (1/2)
この文章は、Kent Beck氏の講演や関連する最新の開発・組織論議を中心に、ソフトウェア開発における価値創出や生産性向上の重要性を論じています。労力やアウトプットだけに偏らず、価値や影響(Impact)を適切に測定・評価することの難しさと、そのためのバランスの取り方を強調しています。また、AIや拡張プログラミングの導入による効率化や若手育成の方法、リーダーシップのあり方、指標に過度に依存しない管理の重要性も述べられています。さらに、最新の技術動向や調査結果、さまざまなテーマの開発関連記事やリストも紹介されており、 (1/2)
Application Engineer
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
Application Engineer
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
testengineer.biz
October 20, 2025 at 7:03 PM
Application Engineer
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
What you will do ビルディングオートメーションシステムのアプリケーション開発 ~ 中央監視データベース作成 ~ グラフィック作成 ~ バインディング作業およびバインディングチェック作業 ~ D DC コントローラのソフト作成 ~ 担当物件のソフトウェア工程管理 ~ 技術資料作成 How you will do it ~ 設計図をもとに制御ソフトのアプリケーションを作成 What w... Apply:
記事の要約: 富士通株式会社とインド理科大学院(IISc)は、2025年10月1日より反応拡散系のシミュレーションを高速化するソフトウェア技術の共同研究を開始しました。この研究では、化学反応シミュレーションやスマートグリッドにおける電力需要シミュレーションなど、自然科学・工学の多様な分野で利用される反応拡散系モデルをグラフネットワーク上に実装し、複雑な現実問題を効率的に処理する新しいアルゴリズムを開発します。また、富士通の省電力かつ高性能なArmベースのCPU「FUJITSU-MONAKA」シリーズを活用し、2030年度までに省電力で高速なシミュレーションソフトウェアの実現を目指します。
「富士通 共同研究 開発」に関する記事です: https://prtimes.jp/main/html/rd/p/000000481.000093942.html
富士通とインド理科大学院、新素材開発などにより社会課題解決を加速する先端AI技術の共同研究を開始
富士通株式会社のプレスリリース(2025年10月16日 17時03分)富士通とインド理科大学院、新素材開発などにより社会課題解決を加速する先端AI技術の共同研究を開始
prtimes.jp
October 16, 2025 at 12:58 PM
記事の要約: 富士通株式会社とインド理科大学院(IISc)は、2025年10月1日より反応拡散系のシミュレーションを高速化するソフトウェア技術の共同研究を開始しました。この研究では、化学反応シミュレーションやスマートグリッドにおける電力需要シミュレーションなど、自然科学・工学の多様な分野で利用される反応拡散系モデルをグラフネットワーク上に実装し、複雑な現実問題を効率的に処理する新しいアルゴリズムを開発します。また、富士通の省電力かつ高性能なArmベースのCPU「FUJITSU-MONAKA」シリーズを活用し、2030年度までに省電力で高速なシミュレーションソフトウェアの実現を目指します。
AGESTがJapan IT Week 秋 2025に出展、品質向上をサポートする最新技術を紹介#千葉県#AGEST#ソフトウェア開発#幕張市#ソフトウェアテスト
株式会社AGESTが2025年10月、幕張メッセで開催されるJapan IT Week 秋に出展。最新のAI技術を活用した品質向上の取り組みを紹介します。
株式会社AGESTが2025年10月、幕張メッセで開催されるJapan IT Week 秋に出展。最新のAI技術を活用した品質向上の取り組みを紹介します。
AGESTがJapan IT Week 秋 2025に出展、品質向上をサポートする最新技術を紹介
株式会社AGESTが2025年10月、幕張メッセで開催されるJapan IT Week 秋に出展。最新のAI技術を活用した品質向上の取り組みを紹介します。
news.3rd-in.co.jp
October 16, 2025 at 3:17 AM
AGESTがJapan IT Week 秋 2025に出展、品質向上をサポートする最新技術を紹介#千葉県#AGEST#ソフトウェア開発#幕張市#ソフトウェアテスト
株式会社AGESTが2025年10月、幕張メッセで開催されるJapan IT Week 秋に出展。最新のAI技術を活用した品質向上の取り組みを紹介します。
株式会社AGESTが2025年10月、幕張メッセで開催されるJapan IT Week 秋に出展。最新のAI技術を活用した品質向上の取り組みを紹介します。
💡 Summary by GPT:
2025年のAI技術進展により、ソフトウェア開発や組織は大きく変化している。AIエージェントの普及と対話型UIの導入により、人間とAIの協働(Human-AIオーケストレーション)が進み、開発ワークフローやPDLCのクロスファンクショナル化・高速化が促進されている。一方、エンジニアには高度なスキルやラーニングアジリティが求められ、少人数化やチームの主体性を持つ「Agentic」化も進行中。AI導入には効果の限定や負担増もあり、全体最適化と均一な導入が重要となる。 (1/2)
2025年のAI技術進展により、ソフトウェア開発や組織は大きく変化している。AIエージェントの普及と対話型UIの導入により、人間とAIの協働(Human-AIオーケストレーション)が進み、開発ワークフローやPDLCのクロスファンクショナル化・高速化が促進されている。一方、エンジニアには高度なスキルやラーニングアジリティが求められ、少人数化やチームの主体性を持つ「Agentic」化も進行中。AI導入には効果の限定や負担増もあり、全体最適化と均一な導入が重要となる。 (1/2)
October 14, 2025 at 7:04 AM
💡 Summary by GPT:
2025年のAI技術進展により、ソフトウェア開発や組織は大きく変化している。AIエージェントの普及と対話型UIの導入により、人間とAIの協働(Human-AIオーケストレーション)が進み、開発ワークフローやPDLCのクロスファンクショナル化・高速化が促進されている。一方、エンジニアには高度なスキルやラーニングアジリティが求められ、少人数化やチームの主体性を持つ「Agentic」化も進行中。AI導入には効果の限定や負担増もあり、全体最適化と均一な導入が重要となる。 (1/2)
2025年のAI技術進展により、ソフトウェア開発や組織は大きく変化している。AIエージェントの普及と対話型UIの導入により、人間とAIの協働(Human-AIオーケストレーション)が進み、開発ワークフローやPDLCのクロスファンクショナル化・高速化が促進されている。一方、エンジニアには高度なスキルやラーニングアジリティが求められ、少人数化やチームの主体性を持つ「Agentic」化も進行中。AI導入には効果の限定や負担増もあり、全体最適化と均一な導入が重要となる。 (1/2)
医療機器などの重要なデバイスにおいてもクローズドシステムに頼ることの危険性を警告しています。さらに、オープンハードウェアやオープンソフトウェアの推進のために政治的な行動を呼びかけており、具体例としてChromebook用のオープンBIOSの開発や、社会全体で修理可能でオープンな技術を支援する必要性を挙げています。
これらは、コンピュータの汎用性に由来する自由と、現代のデバイスが持つ家電のような性質との対比を示し、より開かれた技術環境の実現を目指す主張です。 (2/2)
これらは、コンピュータの汎用性に由来する自由と、現代のデバイスが持つ家電のような性質との対比を示し、より開かれた技術環境の実現を目指す主張です。 (2/2)
October 13, 2025 at 11:43 AM
医療機器などの重要なデバイスにおいてもクローズドシステムに頼ることの危険性を警告しています。さらに、オープンハードウェアやオープンソフトウェアの推進のために政治的な行動を呼びかけており、具体例としてChromebook用のオープンBIOSの開発や、社会全体で修理可能でオープンな技術を支援する必要性を挙げています。
これらは、コンピュータの汎用性に由来する自由と、現代のデバイスが持つ家電のような性質との対比を示し、より開かれた技術環境の実現を目指す主張です。 (2/2)
これらは、コンピュータの汎用性に由来する自由と、現代のデバイスが持つ家電のような性質との対比を示し、より開かれた技術環境の実現を目指す主張です。 (2/2)
今日のHuggingFaceトレンド
Kwaipilot/KAT-Dev-72B-Exp
このリポジトリは、ソフトウェアエンジニアリングタスクに特化した72Bパラメータのオープンソースモデル「KAT-Dev-72B-Exp」を公開するために作成された。
本モデルは、プロプライエタリモデルKAT-Coderの実験的な強化学習(RL)バージョンであり、その大規模RLにおける効率的なトレーニングエンジンや独自のRL戦略といった技術革新を開発者や研究者に共有することを主な目的としている。
Kwaipilot/KAT-Dev-72B-Exp
このリポジトリは、ソフトウェアエンジニアリングタスクに特化した72Bパラメータのオープンソースモデル「KAT-Dev-72B-Exp」を公開するために作成された。
本モデルは、プロプライエタリモデルKAT-Coderの実験的な強化学習(RL)バージョンであり、その大規模RLにおける効率的なトレーニングエンジンや独自のRL戦略といった技術革新を開発者や研究者に共有することを主な目的としている。
Kwaipilot/KAT-Dev-72B-Exp · Hugging Face
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
huggingface.co
October 13, 2025 at 10:20 AM
今日のHuggingFaceトレンド
Kwaipilot/KAT-Dev-72B-Exp
このリポジトリは、ソフトウェアエンジニアリングタスクに特化した72Bパラメータのオープンソースモデル「KAT-Dev-72B-Exp」を公開するために作成された。
本モデルは、プロプライエタリモデルKAT-Coderの実験的な強化学習(RL)バージョンであり、その大規模RLにおける効率的なトレーニングエンジンや独自のRL戦略といった技術革新を開発者や研究者に共有することを主な目的としている。
Kwaipilot/KAT-Dev-72B-Exp
このリポジトリは、ソフトウェアエンジニアリングタスクに特化した72Bパラメータのオープンソースモデル「KAT-Dev-72B-Exp」を公開するために作成された。
本モデルは、プロプライエタリモデルKAT-Coderの実験的な強化学習(RL)バージョンであり、その大規模RLにおける効率的なトレーニングエンジンや独自のRL戦略といった技術革新を開発者や研究者に共有することを主な目的としている。
ものすごい久しぶり(ウン十年ぶり)に情報処理技術者試験を受けた。
それも高度。一応、昔のソフトウェア開発技術者時代? のは受かってたので。
今の形式はちょうど最後ということで記念受験ということで…
(やっぱりもう次はいいや…
それも高度。一応、昔のソフトウェア開発技術者時代? のは受かってたので。
今の形式はちょうど最後ということで記念受験ということで…
(やっぱりもう次はいいや…
October 12, 2025 at 7:58 AM
ものすごい久しぶり(ウン十年ぶり)に情報処理技術者試験を受けた。
それも高度。一応、昔のソフトウェア開発技術者時代? のは受かってたので。
今の形式はちょうど最後ということで記念受験ということで…
(やっぱりもう次はいいや…
それも高度。一応、昔のソフトウェア開発技術者時代? のは受かってたので。
今の形式はちょうど最後ということで記念受験ということで…
(やっぱりもう次はいいや…