2013年

10件の投稿

12月13日に静岡大学浜松キャンパスにて開催されたIMQ研究会に参加&口頭発表してきました。質疑応答の5分を含めて約25分間、有意義な議論をすることができました。 今後の発表や国際会議、論文投稿等に生かしていきたいです。 …
今日、誕生日を迎えました。 誕生日は毎年何か特別なものを感じます。 今年は残り1か月ですが、頑張りたいです。 ツイート
PukiWikiを新しく開設しました。 ツイート
2013年9月12・13日、東海大学高輪キャンパスにて、IMQA2013が開催された。 国際会議なので、全部英語である。 私もオーラルで発表し、全てのセッションに参加してきた。 オーラルセッションで発表するのは初めての事 …
2013年6月22日(土)、名古屋文理大学文化フォーラム(愛知県稲沢市民ホール)にて開催された、モバイル研究会に参加した。 名古屋に来てからは初めての学会参加で、今まで私が参加してきた学会とはまた違ったので、新鮮味があっ …
2週間くらい前ですが、MATLAB & SIMULINK R2013a Student versionを買いました。 これから研究でいろいろと重宝してくれるはずです。 ツイート
5月に入り、ゴールデンウィークが終わった。 国際会議での発表と論文投稿をすることになった。 国際会議は今回で2回目、論文投稿は初である。 そこで、よい論文の書き方やプレゼンのスライド構成などをチェックしてみた。 私が今回 …
プログラミング言語の研究というのを4月になってから初めて知った。 IMP記法やら、帰納法(数学的帰納法、構造的帰納法、整礎的帰納法)等、出てきて、非常に新鮮である。 文献:Glynn Winskel, The Forma …
ソフトウェアは大きく分けると以下の3種類に分けることができる。 S-type (Specifiable type) P-type (Problem-solving type) E-type (Embedded type) …
NORIFUMIです。 WordPress始めました。 詳細は一応プロフィール(パスワードがかかっています。本人に聞いてください。)に示してあります。 主に情報系の技術メモを中心に書いていくつもりです。 よろしくお願いし …
PAGE TOP