“Processuality” and Relativity in Metaphoric Nature of Symbols

2008-03departmental bulletin pape

ビョウメイ フメイ

著者のヨミは推測application/pdfdepartmental bulletin pape

Possible association of fimA genotype of Porphyromonas gulae with the severity of periodontal disease and the number of permanent teeth in dogs

Previous research has demonstrated that Porphyromonas gulae (P. gulae) significantly contributes to the development of periodontal disease in dogs. Porphyromonas gulae is divided into three subtypes according to the 41-kDa filamentous appendage (fimA), defined as types A, B, and C. This study aimed to elucidate the association between fimA type of P. gulae with the number of permanent teeth, reflecting the severity of periodontal disease. Two hundred twenty-five dogs were categorized by P. gulae fimA type as negative, type A dominant, type B dominant, and type C dominant. The stage of periodontal disease in P. gulae-positive dogs increased with age, particularly in type C dominant dogs. Correspondingly, the number of permanent teeth in P. gulae fimA type C-dominant dogs was significantly lower than that of P. gulae-negative dogs, suggesting there is a significant association between fimA type of P. gulae and the number of permanent teeth resulting from the development of periodontal disease.journal articl

Improved Constraints on D0-D̅0 Mixing in D0→K+π- Decays from the Belle Detector

journal articl

仕様記述言語における不変条件の生成

application/pdf現在ソフトウェアは多様な用途に使われているため,ソフトウェア開発には生産性に加え,高い信頼性が求められる。ソフトウェア開発において信頼性を高めるために,仕様やテスト項目のレビュー,単体テスト,統合テスト,コードに対するプログラム解析ツールの使用など,様々な試みがなされている。本研究で扱うB―methodを用いた開発は形式手法の一つであり,信頼性の高いソフトウェアを系統的に開発することに重きを置いている。B― methodは形式仕様記述言語であり,ソフトウェア仕様を形式的に記述できる.B― methodを用いた開発では抽象度の高い仕様から正しさを証明しながら徐々にプログラムに近い仕様へ変換する。この方法を取ることでソフトウェアの信頼性を確保し,設計上の欠陥を早期に発見することで出戻りによる生産性の低下を防ぐことに繋がる。しかし現在B―methodは普及していない。問題点はB―method仕様の記述には数学的な知識が必要で,仕様の記述が難しいことである.そこで本研究ではB―method仕様の一部である不変条件式を自動生成し記述の助けとすることを目標とした。B―method仕様はソフトウェアの動作を定義する句と,ソフトウェアが満たすべき不変条件を記述する句がある。B―method仕様の正しさとは,仕様の一部として記述された不変条件が,定義された動作に対して真となることを言う。本手法では逆に,動作から取り得る状態を計算し得られた全ての状態で真となる論理式を不変条件として生成する。これまでにもプログラムから不変条件式を生成する手法は多く研究されている。入カプログラム内の注釈を用いた述語抽象化や,一階述語論理の記法への変換をした後にsolverで解く方法がある。またループ内不変条件に注目するなど,生成する式の性質も様々である。本手法は,B―method仕様を入力とする値範囲解析を行い,各変数が取る値の範囲に関する不変条件式を生成する。不変条件式の生成のために2ステップ行う。1ステップロでは,入力された仕様に対して値範囲解析を行う.初期化文と操作関数から各一つ,各変数の区間についての関係式を生成し,反復アルゴリズムによって最小不動点を求める。そして得られた各変数の区間から,各変数は常にこの区間内の値であることを意味する論理式を生成する。この論理式を,入力された仕様のinvariant句に用いることで,開発者は不変条件式を記述する手間を減らすことができ,ソフトウェアがどのような動作をするかについての情報を得ることができる。本手法は有限時間で不変条件式を生成し,得られた不変条件式は必ず,入力された仕様に対して初期化後の整合性,操作実行後の整合性を持つことを証明した。無矛盾性とは不変条件式が真となる変数の割り当てが存在するである.初期化後の整合性とは初期化直後に不変条件式が真であることである。操作実行後の整合性とは,不変条件式が真の状態で操作を実行したならばその直後も不変条件式が真であることである。また,以上三つの性質を持つのは代入に使用できる式が単調な場合のみであることを示した。三重大学大学院 工学研究科 博士前期課程 情報工学専攻 コンピュータソフトウェア研究室2, 31thesi

GOSlim assignment of A) rice paralogous families and singletons, B) Arabidopsis paralogous families and singletons

The paralogous protein families are further classified by family size.<p><b>Copyright information:</b></p><p>Taken from "Characterization of paralogous protein families in rice"</p><p>http://www.biomedcentral.com/1471-2229/8/18</p><p>BMC Plant Biology 2008;8():18-18.</p><p>Published online 19 Feb 2008</p><p>PMCID:PMC2275729.</p><p></p

Histogram of Pearson's Correlation Coefficients of expression (r) of rice paralogous protein families with exactly two MPSS-qualifying genes

<p><b>Copyright information:</b></p><p>Taken from "Characterization of paralogous protein families in rice"</p><p>http://www.biomedcentral.com/1471-2229/8/18</p><p>BMC Plant Biology 2008;8():18-18.</p><p>Published online 19 Feb 2008</p><p>PMCID:PMC2275729.</p><p></p

Functional classification of paralogous family and singleton proteins in rice and Arabidopsis

<p><b>Copyright information:</b></p><p>Taken from "Characterization of paralogous protein families in rice"</p><p>http://www.biomedcentral.com/1471-2229/8/18</p><p>BMC Plant Biology 2008;8():18-18.</p><p>Published online 19 Feb 2008</p><p>PMCID:PMC2275729.</p><p></p

Size distribution of paralogous protein families in rice and Arabidopsis

The exact number of families is listed above the bars.<p><b>Copyright information:</b></p><p>Taken from "Characterization of paralogous protein families in rice"</p><p>http://www.biomedcentral.com/1471-2229/8/18</p><p>BMC Plant Biology 2008;8():18-18.</p><p>Published online 19 Feb 2008</p><p>PMCID:PMC2275729.</p><p></p

内燃機関(燃焼および計測に関する)研究報告

rights: 社団法人日本機械学会 rights: 本文データは学協会の許諾に基づきCiNiiから複製したものである relation: IsVersionOf: http://ci.nii.ac.jp/naid/110002443849/textapplication/pdfjournal articl