@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00113010,
 author = {岡部, 究 and 水野, 洋樹 and 瀬川, 秀一 and Kiwamu, Okabe and Hiroki, Mizuno and Hidekazu, Segawa},
 book = {第55回プログラミング･シンポジウム予稿集},
 month = {Jan},
 note = {現在でもOSはC言語によって設計されている．一方アプリケーションは強い型付けの言語を用いた安全な設計手法が確立されている．本稿ではOSの安全な設計手法として，C言語によって設計されたOSのソースコードを元に少しずつ型推論をそなえた言語による実装に置き換えるスナッチ設計という手法を提案する．また当該手法を小規模OSに対して適用し，その結果を考察する．, Today, many OS are designed by C language. On another side, method developing by strong typed languange is established at application domain. This paper presents a method that little by little rewrite C language designed OS by strong typed language has type inference. The method is named "Snatch-driven development". Finally, discuss about result that apply the method to tiny OS.},
 pages = {53--54},
 publisher = {情報処理学会},
 title = {強い型によるOSの開発手法の提案},
 volume = {2014},
 year = {2014}
}