LoginSignup
1
0

More than 1 year has passed since last update.

法政大学の経済学部経済学科卒業です。 

卒業研究の際に、卒業研究の原稿を見て、教授に「これは経済学ではない」と否定されました。 

その後は、経営学部の教授の後を追っていました。 

経済学徒を諦め、他大学の工学部電気工学亜に編入させていただきました。 

<この項は書きかけです。順次追記します。>

佐原伸

http://sea.jp/ss2014/WG7: 「形式手法の最新技術と産業界での適用」

◆リーダ: 中津川 泰正 (フェリカネットワークス),田中 美穂 (DTS) 佐原 伸 (法政大学),酒匂 寛 (デザイナーズデン)
◆概要:
ソフトウェア開発現場では,品質の高いソフトウェアを効率よく組織的に開発する手法が求められています.本ワーキンググループでは,高品質のソフトウェア開発技法として実績のある形式手法について,その最新技法の紹介と,適用方法の紹介,そして今後どのように高品質のソフトウェア開発を進めていくかについて話し合いたいと思います.また,組織的な形式手法の導入事例に限らず,個人で気軽に使うことができるような形式手法の使い方など幅広く議論することができたらと考えます.議論の対象とする形式手法は,今のところ,VDM・Event-B・CafeOBJ・SPIN・NuSMV・Coq などを想定しています.」

 劉少英 

法政大学 三題噺

玉井哲雄

玉井哲雄ホームページ - 法政大学
http://tamai-lab.ws.hosei.ac.jp/indexj.html
ソフトウェア工学 (平成15年9月11日)
http://tamai-lab.ws.hosei.ac.jp/pub/sebook.pdf

古家時雄

今昔文字鏡 漢字フォントの世界一の収集

今昔秀歌百撰 全項目索引(一覧)

水野 和夫

法政大学教授

株式会社の終焉 出版記念会参加 

Countdown Calendar 2022

今年企画した6つのCountdown Calendarと、それぞれの記事一つをご紹介します。

AUTOSAR Countdown Calendar 2022

AUTOSAR References to ISO, IEC, ITU, IEEE, RFC and SEA etc.

Automotive Handbook Countdown Calendar 2022

Basic principles, ボッシュ自動車handbook(英語)11版まとめ<2>

2022 いいねをいただいた記事ランキング(O.K.版) Countdown Calendar 2022

2022年1月下旬 いいねをいただいた記事 16

AdCale(O.K.) Countdown Calendar 2022

「会議は15分未満」に。小耳にはさんだ話。

ABC language (O.K.版) Advent Calendar 2022

LLVMソースコードのコンパイルをしようと思ってハマった罠とそこから脱出するための努力

ABC maker(O.K版) Advent Calendar 2022

JAXA/IPA クリティカルソフトウェアワークショップ WOCS言語関連発表(改定版)

CountdownCalendar2022 報告

誤差の評価が苦手(専門分野以外)

<この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。>

文書履歴(document history)

ver. 0.01 初稿 20221204
ver. 0.02 URL追記 20221231

最後までおよみいただきありがとうございました。

いいね 💚、フォローをお願いします。

Thank you very much for reading to the last sentence.

Please press the like icon 💚 and follow me for your happy life.

1
0
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
1
0