2026-9-15 のヘッドライントピック
未経験からITへ、Leanの証明、生成AIドキュメントなど
池田2026年9月14日
【未経験】勉強する時間がない。それでも今の仕事の中で、ITにつながる経験はつくれる
kyamaz2026年9月13日
『Lean で証明できた』は何を保証するのか？ 〜 Lean の無矛盾性と信頼の根拠 〜
依田 健人2026年9月13日
生成AIが書いたドキュメントを読みたくない
未経験からITへ、Leanの証明、生成AIドキュメントなど
よく似た番組
2026-8-30 のヘッドライントピック
PRレビューとAI記事生成、学習の沼脱出など
2026-8-27 のヘッドライントピック
人の手で書く意義と検索力など
2026-8-29 のヘッドライントピック
AIテストの落とし穴と新人エンジニアの悩みなど
前後の番組
2026-9-14 のヘッドライントピック
アクセスログ集計とWasm並行処理など