メインカテゴリ | テクノロジー [181/377]

2022.02.25

経験・勘ではなくロジックを使ってネットワークをテストする　MonoSATによる回答の仕組みと探索の効率化

2022.02.25

｢エンジニアと同じ温度感や目線で世界を見続ける」　技術者集団を束ねるグリーCTOのコミュニケーション術

2022.02.25

1度ビルドしたNeovimを他のマシンにコピーしたい　動的リンクライブラリを静的リンクにし直す「sold」リンカ

2022.02.24

事前に問題を検出できる仕組み　SATソルバとSMTソルバによる充足可能性判定

2022.02.24

Intel AVX-512・富岳SVE用ライブラリで高速ループ処理　文字列で与えられた関数から最適化されたSIMDコードを生成

2022.02.24

ソフトバンクと西武は実はもう少し強かった？　2021年の対戦日程の偏りをもとにした順位への影響分析

2022.02.23

コロナという未曾有の事態が招いたサプライチェーンの分断　変革の時代に求められるソフトウェアとハードウェアの在り方

2022.02.23

全社員に公開したCTOの日報、社内情報の流れの可視化…　DMMのKPIを2桁上げた松本勇気氏の“文化作り”

2022.02.22

ここが変だよ「WSL2」　自作ディストロ開発で発見した知られざる“バグ”と“事実”

2022.02.22

ハンドボールの戦況報告を自動要約できないか？　抽出・抽象の観点からのアプローチとその結果