TL;DR Pythonの型チェッカーを一人で作っていたらそれが仕事になりました。 私は（大学院生として物理学を専攻する傍ら）以前よりプログラミング言語やその周辺ツールのデザイン・実装に興味があり、趣味で開発したプロジェクトをOSSで公開するなどしていました。 ErgはPython APIと互換性を持つトランスパイル型の静的型付け言語で、pylyzerはこれの型検査器を流用したPython向け型チェッカーです。 ありがたいことに両方とも結構反響を受けて、公開から数年経っても未だにissueなど報告をいただいております。これはもう少し大きな話にできるのではないかと考え、Ergの開発の方で2023年度の未踏IT人材発掘・育成事業に応募し、運よく採択され、スーパークリエータにまで認定していただきました。 これだけでもかなりの僥倖ですが、それだけではなく、今年の3月からcontract softw
はじめに 組み込みソフトウェア開発の世界では、プログラミング言語の選択が製品の品質、開発効率、そして長期保守性に大きな影響を与えます。近年、メモリ安全性や並行処理の安全性を強みとするRust言語が様々な分野で注目を集め、採用が進んでいます。Webバックエンド、システムプログラミング、そしてLinuxカーネルのような重要なプロジェクトでもRustの導入が進んでいるにもかかわらず、組み込み開発の現場では依然としてC言語が主流であり続けています。本稿では、最新の安全な言語であるRustが、なぜ組み込み開発において広く採用されず、数十年の歴史を持つC言語が今なお主要な選択肢であり続けているのか、その技術的・実務的な要因を詳しく検討します。 1.ヒープを使わない開発が多いのでRustの本領が発揮されない 組み込み開発では、動的メモリ管理を避ける（ヒープを使わない）設計が一般的です。 Rustの特徴で
ソードはほぼ唯一のハードウェアベンチャーであり ソフトウェアの重要性も見抜いていた いま我々が日々お世話になっているパソコンは、いつ頃どのようにして製品化されたのだろうか。そのきっかけになったのは8ビットのマイクロプロセッサの登場で、1974年から1977年にかけて米国を中心に起こったとされている。 その誕生物語においては、MITSの「Altair 8800」やApple Computerの「Apple II」などがよく知られている。しかし、それらの初期の製品に遅れることなく、むしろ先行していた日本企業があったのをご存じだろうか？ それが、日本の黎明期のパソコンとコンピューター産業を語る上で最も重要な企業の１つといえるソード（SORD）である。1970年代から1980年代のコンピューター業界を知る人たちなら誰もが知る事柄だが、1990年代以降にこの業界にかかわった人たちには“知られざる企業
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
