First published Fri Dec 6, 1996; substantive revision Thu Aug 29, 2019 Category theory has come to occupy a central position in contemporary mathematics and theoretical computer science, and is also applied to mathematical physics. Roughly, it is a general mathematical theory of structures and of systems of structures. As category theory is still evolving, its functions are correspondingly develop

アリストテレス Aristoteles ( 384/3-322/1B.C.) 左がプラトン、右がアリストテレス（手前に寝転んでいるのは、ディオゲネス） ラファエロ「アテナイの学堂」より アリストテレスに関しては、 「プラトンのイデア論を批判した」だの、 「徳は中庸」だの、 「最高の理想は、真理を探究する、観想的生活」だの、 よく知られている結論だけ書いても、何か当たり前の（あるいは変な）詰まらない事を言っているのではないか、という気がすると思います。 しかし、そうではない、ということを（アリストテレスを知らない人に）解ってもらうのは、かなり大変です。 論理学から天文学や生物学まで何でも一人でやってしまった「万学の祖」ですし、その思考の粘り強さは比類がありません。 実体―「形相(eidos)」と「質料(hule)」 「形相　もともと、目に見える「形」を意味するギリシャ語エイドスの訳語で、ある

Each pathway map is identified by the combination of 2-4 letter prefix code and 5 digit number (see KEGG Identifier). The prefix has the following meaning: mapmanually drawn reference pathway koreference pathway highlighting KOs ecreference metabolic pathway highlighting EC numbers rnreference metabolic pathway highlighting reactions <org>organism-specific pathway generated by converting KOs to ge

麻しんは、過去の推移を見ると、平成19・20年に10～20代を中心に大きな流行がみられましたが、平成20年より5年間、中学1年相当、高校3年相当の年代に2回目の麻しんワクチン接種を受ける機会を設けたことなどで、平成21年以降10～20代の患者数は激減しました。 また、平成22年11月以降のウイルス分離・検出状況については、海外由来型のみ認めており、 平成19・20年に国内で大流行の原因となった遺伝子型D5は認めておりません。 平成27年3月27日、世界保健機関西太平洋地域事務局により、日本が麻しんの排除状態にあることが認定されました。 かつては毎年春から初夏にかけて流行が見られていましたが、排除後は、海外からの輸入例と、輸入例からの感染事例のみを認める状況となっています。 麻しんの感染症発生動向調査に基づく最新発生報告数は、定期的に国立感染症研究所ウェブサイト に掲載されます。 また麻しん

電子機器から社会インフラまで、さまざまな製品を支えているソースコード。電子機器が多機能になって便利になる一方で、その元となるソースコードは増大し、複雑になり続けている。 例えば、携帯電話のケースを考えてみよう。この携帯電話の中には、数百万行におよぶプログラムが入っている。その数百万行のコードの中に、たった1行のエラーや脆弱性があるだけで、さまざまな障害を起こす可能性がある。データが消えるような障害であれば、ユーザーに大きな損害を与え、回収作業が発生して社会にも多大な影響を及ぼす。そして、最も大きな損害は企業が信頼を失う点だろう。このような事態を避けるためには、「いかにすばやくソースコードを検証し、効率よくバグや脆弱性をなくしていけるか？」が求められる。 このようなニーズに応え、あらゆる企業のテストに掛かる負担を軽減できるのがcoverityの静的解析ツールだ。その魅力を紹介する。 開発現場

Jeff Atwood / 青木靖 訳 2007年2月26日 レジナルド・ブレイスウェイトが書いていることを読んだとき、私はそんなわけないだろうと思っていた。 私と同様、この著者は、プログラミングの仕事への応募者200人中199人はコードがまったく書けないということで苦労している。繰り返すが、彼らはどんなコードも書けないのだ。 彼が引用している著者というのはイムランのことで、彼は単純なプログラムも書けないプログラマをたくさん追い払っているということだ。 かなりの試行錯誤の末に、コードを書こうともがいている人たちというのは、単に大きな問題に対して苦労しているのではないことがわかった。やや小さな問題(連結リストを実装するというような)に対して苦労するということでさえない。彼らはまったくちっぽけな問題に苦労しているのだ。 それで、そういった類の開発者を見分けるための質問を作り始め、私が｢Fizz

technology documents formal uml - Object Management Group

当サイトは ... ソフトウェア開発に関する技術について実践、研究、発表するグループ、「オブラブ」のページです。 XP及びモデリング、PFについてのコミュニティや、ドキュメント、フリーソフトウェアで構成されています。

The power of software modeling Astah’s modeling tools allow you to visualize the essence of your ideas and software designs. Quickly and effortlessly build diagrams that create a clear understanding among teams. Build UML, ER diagrams, Data Flow Diagrams, Flowcharts, mind maps and more in the most powerful modeling software for everyone from students to enterprise teams. Get a free trial New Acade