並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 12 件 / 12件

新着順 人気順

WOCS2の検索結果1 - 12 件 / 12件

  • プログラマで「飛び抜けた人が少ない」仮説(38) - Qiita

    @chooyan_eng ソースコードはしゃべるように書け https://qiita.com/chooyan_eng/items/72f86a2ce2ca67d3b4a4 に触発された記事です。 NOP(NIT(Nagoya Institute of Technology) of Programmers) https://qiita.com/kaizen_nagoya/items/fb5630980839aa9a6519 日本のプログラマが世界で戦える16分野・事例。仮説(53)統計と確率(25) https://qiita.com/kaizen_nagoya/items/a7e634a996cdd02bc53b に記載した支援経験に基づいているかもしれません。 しゃべるように <この項は書きかけです。順次追記します。> 20代の頃から、約45 50年 Programming like

      プログラマで「飛び抜けた人が少ない」仮説(38) - Qiita
    • 【共催】第13回クリティカルソフトウェアワークショップ (13thWOCS<sup>2</sup>):IPA 独立行政法人 情報処理推進機構

      開催情報 クリティカルソフトウェアワークショップ(WOCS2: Workshop on Critical Software System)は、国立研究開発法人宇宙航空研究開発機構(JAXA)と独立行政法人情報処理推進機構(IPA)が共催するワークショップです。 WOCS2は、宇宙・航空、医療、鉄道、自動車などのミッションクリティカルなソフトウェアの開発・運用・保守に関する技術やプロセスに焦点を当て、産業分野の枠、さらには産・学・官の枠をも超えた技術者・研究者の情報交換の場として実施してきました。組込みシステムや社会インフラに関わるシステムで、いかに信頼性・安全性を確保したソフトウェアシステムを作り上げるかを議論し、ソフトウェアシステムの信頼性・安全性の分野で貴重な役割を果たしています。 第13回目となる今回のWOCS2は「つながるクリティカルシステム」をテーマとして掲げます。また、上掲のテ

      • How to rewrite the OS using C by strong type

        SciPipe - A light-weight workflow library inspired by flow-based programming

          How to rewrite the OS using C by strong type
        • 【共催】第15回クリティカルソフトウェアワークショップ(15thWOCS<sup>2</sup>):IPA 独立行政法人 情報処理推進機構

          クリティカルソフトウェアワークショップ(WOCS2: Workshop on Critical Software System)は、国立研究開発法人宇宙航空研究開発機構(JAXA)と独立行政法人情報処理推進機構(IPA)が共催するワークショップです。 WOCS2は、宇宙・航空、医療、鉄道、自動車などのミッションクリティカルなソフトウェアの開発・運用・保守に関する技術やプロセスに焦点を当て、産業分野の枠、さらには産・学・官の枠をも超えた技術者・研究者の情報交換の場として実施してきました。組込みシステムや社会インフラに関わるシステムで、いかに信頼性・安全性を確保したソフトウェアシステムを作り上げるかを議論し、ソフトウェアシステムの信頼性・安全性の分野で貴重な役割を果たしています。 第15回目となる今回のWOCS2は「現場で働き始めたシステムズエンジニアリングなモデルたち」をメインテーマに掲げ、

          • 【共催】第12回クリティカルソフトウェアワークショップ (12thWOCS<sup>2</sup>):IPA 独立行政法人 情報処理推進機構

            開催情報 クリティカルソフトウェアワークショップ(WOCS2: Workshop on Critical Software System)は、独立行政法人宇宙航空研究開発機構(JAXA)と独立行政法人情報処理推進機構(IPA)が共催するワークショップです。 クリティカルソフトウェアワークショップは、宇宙・航空、医療、鉄道、自動車などのミッションクリティカルなソフトウェアの開発・運用・保守に関する技術やプロセスに焦点を当て、産業分野の枠、さらには産・学・官の枠をも超えた技術者・研究者の情報交換の場として実施してきました。組込みシステムや社会インフラに関わるシステムで、いかに信頼性・安全性を確保したソフトウェアシステムを作り上げるかを議論し、ソフトウェアシステムの信頼性・安全性の分野で貴重な役割を果たしています。 第12回目となる今回のWOCS2は「Sociotechnical Science

            • 【共催】第14回クリティカルソフトウェアワークショップ (14thWOCS<sup>2</sup>):IPA 独立行政法人 情報処理推進機構

              開催情報 クリティカルソフトウェアワークショップ(WOCS2: Workshop on Critical Software System)は、国立研究開発法人宇宙航空研究開発機構(JAXA)と独立行政法人情報処理推進機構(IPA)が共催するワークショップです。 WOCS2は、宇宙・航空、医療、鉄道、自動車などのミッションクリティカルなソフトウェアの開発・運用・保守に関する技術やプロセスに焦点を当て、産業分野の枠、さらには産・学・官の枠をも超えた技術者・研究者の情報交換の場として実施してきました。組込みシステムや社会インフラに関わるシステムで、いかに信頼性・安全性を確保したソフトウェアシステムを作り上げるかを議論し、ソフトウェアシステムの信頼性・安全性の分野で貴重な役割を果たしています。 第14回目となる今回のWOCS2は「より良き未来のために見る・知る・学ぶ・考える」をテーマとして掲げて開

              • 参考文献駆動執筆(references driven writing)・デンソークリエイト編 - Qiita

                参考文献 httpで始まるのは本文または行事のURLです。 [1] 「構造」編集・処理システムnnHEADWAY の開発,水谷高康, Peter Thoeny, 情報処理学会第47 回全国大会, 1993 https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_uri&item_id=124659&file_id=1&file_no=1 [2] 矛盾を含んだ三面図情報からの物体の推定, 渡辺 崇 (名古屋大学情報文化学部 ), 田代 明子 (日本電装 クリエイト(株), 藤井 省三 (名古屋大学工学部 ) 情報処理学会論文誌、巻 35 号 11 pp. 2320 - 2330, 1994-11-15 ISSN 1882-7764 https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_uri&item_

                  参考文献駆動執筆(references driven writing)・デンソークリエイト編 - Qiita
                • IPA 独立行政法人 情報処理推進機構:第9回クリティカルソフトウェアワークショップ(WOCS2)

                  (独)宇宙航空研究開発機構(JAXA)情報・計算工学センター (独)情報処理推進機構(IPA)技術本部ソフトウェア・エンジニアリング・センター(SEC) 1日目:2011年11月17日(木) ■一般講演 ・10:00~17:00 形式手法とモデル 会議センター 4F[411+412] ・10:00~17:00 信頼と安全 会議センター 4F[413] 2日目:2011年11月18日(金) ■基調講演、招待講演 ・10:00~17:15 会議センター 5F[503] 開催場所: クリティカルソフトウェアワークショップ(Workshop Of Critical Software)は、(独)宇宙航空研究開発機構(JAXA)と(独)情報処理推進機構(IPA)が、産業分野の枠、さらには産・学・官の枠をも超えた議論の場として開催しているワークショップです。今回は、「安全で信頼できるシステムのためのソフ

                  • CV高井が14thWOCS2の講演で「最優秀賞」を受賞しました!

                    2016年12月12日-13日に開催された、第14回クリティカルソフトウェアワークショップ – 14th Workshop on Critical Software Systems(14thWOCS2)で、弊社チーフエンジニアの高井が一般枠で講演し、優秀な発表者に送られる「最優秀賞」を受賞しました。 クリティカルソフトウェアワークショップ(WOCS2)について 宇宙・航空、医療、鉄道、自動車などのミッションクリティカルなソフトウェアの開発・運用・保守に関する技術やプロセスに焦点を当てた、産・学・官の枠を超えた技術者・研究者の情報交換の場として、独立行政法人 宇宙航空研究開発機構(JAXA)と独立行政法人 情報処理推進機構(IPA)が毎年共催しているワークショップです。昨年で第14回を迎えました。14thWOCS2公式サイト:http://www.keiso-comm.com/14wocs2

                      CV高井が14thWOCS2の講演で「最優秀賞」を受賞しました!
                    • クリティカルソフトウェアワークショップ 14th Workshop of Critical Software System(14thWOCS2) |第三研究ユニット(旧 情報・計算工学センター)

                      クリティカルソフトウェアワークショップ(WOCS2: Workshop on Critical Software Systems)は、国立研究開発法人 宇宙航空研究開発機構(JAXA)と独立行政法人 情報処理推進機構(IPA)が開催しているワークショップです。 本ワークショップでは、宇宙・航空、医療、鉄道、自動車などのクリティカルソフトウェアの開発・運用・保守に関する技術やプロセスに関し、産業分野の枠、産学官の枠を超えた技術者・研究者間の情報交換の場を提供するとともに、JAXA のソフトウェア信頼性、安全性技術に関する情報発信を行い、他産業との更なる相互発展を行う ことを目的とし開催します。

                      • 文房具は意外と奥が深い | 中の人

                        1 : すずめちゃん(新潟県):2009/02/15(日) 10:07:53.42 ID:Own4oegN 社内文書や年賀状、ラブレターもメールで、という時代。ところが若い世代を中心に、 ノートなど「手で書く」文房具の人気が高まっているという。 算数、社会など科目ごとにマス目が工夫され、発売開始から約40年間、全国の小学 生に使われてきた「ジャポニカ学習帳」。富山県高岡市の「ショウワノート」の製品だが、昨 春、服飾大手「ビームス」(東京・新宿区)などの手でおしゃれな装いに変身した限定品が 販売された。 表紙は、国際的評価の高いアーティストによる風景や外国車などの写真。「ビームスの 服を着る大人も、子供時代はジャポニカを愛用したはず」と話すショウワノートの担当者は、 「ジャポニカ学習帳を手に会議に出席、というビジネスマンもいる」と驚く。限定販売は好評 のうちに終わり、同社は「大人にも満足して

                        • プロセス改善フォーラム:ブログ | プロセス改善交流の広場

                          本ブログはほとんど投稿がない状態が続いていますが、最近、仕事を通じて、特にAutomotive SPICEに関連して何故か誤解が大変多いことに気がつきましたので、補足したいと思います。構成管理という言葉は、遡れば1950年代まで遡ってしまいますが、昔のことはさておき、 ことAutomotive SPICE に関しては、ソフトウェアの構成管理が起源であり、ソフトウェアCMMが原点だろうと思います。問題は、構成管理と文書管理がほとんど同義であったり、ベースラインというものが、プロジェクトで作成したあらゆる文書のアーカイブだったりすることです。その理解のもとでは、構成品目とは、プロジェクトが作成したすべての文書ということになります。構成管理とはもともと開発する製品(ハードウェアやソフトウェア)の特性の一貫した実装を管理する概念です。そのために何を対象にどんな活動の実施が期待されるかを考える必要が

                          1