著者

西田 誠幸 辻野 嘉宏 都倉 信樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-コンピュータ (ISSN:09151915)

巻号頁・発行日

vol.79, no.11, pp.936-945, 1996-11-25

---

Bird-Meertens Formalism (以下BMF)は関数型プログラムを記述する手法の一つで,これによって問題の仕様記述から具体的な手続きの記述を導出することができる.BMFで記述されるプログラムの有用性を明確にするため,また導出の方針を与える一手段として,導出されるプログラムのコストを評価する手法を提案する.この手法は,Moggiの提案したモナドを用いた計算の表現法を応用したもので,プログラムのセマンティクス,コストの種類,プログラムを実行するアーキテクチャによって決定されるコストを表現できる.また,関数型言語Haskellによるコスト評価法の実現を示す.

著者

西田 誠幸 原田 紀夫

出版者

拓殖大学

雑誌

拓殖大学理工学研究報告 (ISSN:09198253)

巻号頁・発行日

vol.9, no.1, pp.59-60, 2004-01-25

---

Cross Site Scripting (XSS) is one of vulnerabilities that is latent in dynamic contents on WWW. Attackers exploit XSS to get cookie information and alter Web pages illegally. One of the problems to eliminate XSS is that Web masters have to check the XSS existance in dynamic contents with great effort, or they have to prohibit the usage of dynamic contents. This paper describles an algorithm we have been designing in order to detect XSS vulnerabilities in PHP scripts that generate dynamic contents. Our algorithm belongs with the flow sensitive analysis in static program analysis, and it is based on the constant propagation analysis. The algorithm supports Web masters with checking the XSS existance in PHP scripts automatically.

著者

渡辺幹男 西田誠 栗田子郎

出版者

植物研究雑誌編集委員会

雑誌

植物研究雑誌 (ISSN:00222062)

巻号頁・発行日

vol.66, no.3, pp.160-165, 1991-06-20 (Released:2022-10-20)

著者

西田 誠 中西 香織 瀧原 圭子

出版者

一般社団法人 日本循環器学会

雑誌

循環器専門医 (ISSN:09189599)

巻号頁・発行日

vol.24, no.2, pp.295-299, 2016 (Released:2019-06-12)

参考文献数

14

著者

栗田 子郎 西田 誠

出版者

公益社団法人 日本植物学会

雑誌

植物学雑誌 (ISSN:0006808X)

巻号頁・発行日

vol.78, no.930, pp.461-473, 1965 (Released:2006-10-31)

参考文献数

24

被引用文献数

4 7

---

栗田子郎•西田誠: ハナヤスリ目の細胞分類学III. ハナヤスリ属の染色体数日本産のハナヤスリ属の内, 2種1変種の染色体数を観察した. ヒロバハナヤスリ (O. vulgatum)はn=240である. この染色体数はオランダ産のものと一致する. コヒロバハナヤスリ(O. petiolatum) には4系(細胞学的) があることが知られた. 千葉県の成田, 臼井, 銚子, および栃木県日光産の個体はn=480で胞子形成過程は正常である.千葉県稲毛産の個体はインド, セイロン産のものと同様n=510~520であるが,しばしば減数分裂に異常が起こり, 染色体橋や偽直接分裂が観察された. 千葉県土気と京都黒谷産の個体は正常な減数分裂をしない. 第1分裂中期での染色体数は一定せず450~500の問である. 染色体の大きさはさまざまで, 多価染色体および1価染色体と考えられるものがかなり現われる. 恐らくn=480の個体に由来する Cyto-races の1つであろう. 一方千葉県東金産の個体は土気や京都産の個体と同様に減数分裂が異常であるが, 2, 3の胞子母細胞の第一分裂中期で約700の染色体が数えられた. この内, 約400が2価染色体で残りが1価染色体と推定されるので, 実際に体細胞の染色体数を数えることはできなかったが,多分2n=ca. 1100ぐらいであろう. コハナヤスリ (O. thermale var. nipponicum) でも3っの Cyto-racesが知られた. 1っは東京小金井産のものでn=240である. これは Verma (1957) が報告したものである.一方成田のd群落の個体はすべて2n=480で胞子形成過程は正常であり, 成田のe群落と京都黒谷産の個体は土気や京都産のコヒロハハナヤスリと同様正常な減数分裂はせず2分子や3分子の形成がみられた.後者では染色体数は正確には数えられなかったが, ある母細胞では約460であった. いくつかの多価染色体と思われるものがあり, 恐らくn=480の個体に由来するものであろう.形態学的にみると, コヒロハハナヤスリは特に多型で, 葉身が丸く葉柄が非常に短かい個体, 葉身は細長く葉柄が顕著な個体, および両者の問のさまざまな中間型とがある. しかしこの多型現象と染色体数との間には何らの関連も見出しえなかった.西田 (1959) はハナヤスリ属を2っの亜属, Vulgata と Aitchisonii に分けた. 染色体数をみると後者にはn=240以上の数を持つものが現在のところ知られていない点は注目に値する. Ninan (1958) らはハナヤスリ目の基本染色体数を15だと考えているが筆者達もこの考えに賛成である.ハナヤリ目は非常に特殊化された植物の一群で系統的には現生の他のシダ植物からかなり離れたものと考える.

著者

宮町 宏樹 泊 知里 八木原 寛 井口 正人 為栗 健 山本 圭吾 大倉 敬宏 安藤 隆志 尾西 恭亮 清水 洋 山下 裕亮 中道 治久 山脇 輝夫 及川 純 植木 貞人 筒井 智樹 森 済 西田 誠 平松 秀行 小枝 智幸 増田 与志郎 加藤 幸司 畠山 謙吾 小林 哲夫

出版者

特定非営利活動法人日本火山学会

雑誌

火山 (ISSN:04534360)

巻号頁・発行日

vol.58, no.1, pp.227-237, 2013-03-29

---

2008年に実施された屈折法地震探査によって得られたP波初動走時により,姶良カルデラおよび桜島火山の深さ3kmまでの速度構造を推定した.本研究地域の基盤層である四万十層群は4.6-5.0km/sのP波速度を持ち,姶良カルデラの中央部に向け傾斜している.姶良カルデラの中央部には,4.2-4.4km/sの低速度域が深さ1.5-3kmに存在している.そして,この低速度域はカルデラ下に存在する深部マグマ溜まりからのマグマ供給系が活発であることを示唆している.また,基盤層は鹿児島地溝帯の北西域の境界に沿って深さ1kmから2.5kmに急激に落ち込んでいることがわかった.桜島火山の速度構造は3.6-3.7km/sの領域が存在することで特徴づけられる.桜島火山の山頂直下で発生している火山性地震の震源域と速度構造の比較から,地下構造が種々の火山性地震の震源域の広がりに強い影響を与えていることを示した.

著者

西田 誠 山下 静也

出版者

大阪大学

雑誌

基盤研究(C)

巻号頁・発行日

2007

---

健診受診者で、腹囲は内臓脂肪面積と同程度に動脈硬化危険因子と相関した。そして腹部肥満が、頸動脈硬化(IMT) のリスクであることを示した。さらに経年的に増悪するIMTには、腹囲の変化が、他のリスク変化より重要であることを示し、保健指導の指標としての腹囲測定の有用性を示した。また外因性リポ蛋白マーカーであるアポB48はIMTとの相関はなかったが、内臓脂肪面積や生活習慣によく相関しており、さらなる検討に値する。

著者

近藤 寅三郎 西田 誠宏 島 善一郎 清野 謙次

出版者

社団法人日本循環器学会

雑誌

日本循環器病學

巻号頁・発行日

vol.2, no.4, 1936-07-01

著者

西田 誠

出版者

大阪大学

雑誌

基盤研究(C)

巻号頁・発行日

2010

---

健診において頸動脈の動脈硬化を進行させる可能性のある種々の新規マーカーおよび生活習慣を検討した。腸から吸収される脂質のマーカーであるアポB48は、動脈硬化な相関がなかったが、非肥満者に限ると有意な相関を示し、特定健診で抽出されない集団での動脈硬化評価に有用である可能性を示した。また今回調べた酸化ストレス等のマーカーは危険因子との関連が見られたが、短期間の動脈硬化進行に大きくは寄与しなかった。しかし喫煙は短期間の動脈硬化進行に深く関与することを明らかにし、早期の介入の重要性を示した。

著者

西田 誠幸

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 (ISSN:09135685)

巻号頁・発行日

vol.106, no.326, pp.1-6, 2006-10-19

---

本稿ではWebアプリケーションを構成する手続き型言語のプログラムを静的に解析して,SQLインジェクションやクロスサイトスクリプティングなどのWebアプリケーションの脆弱性の存在を検出する一手法を提案する.この手法では,プログラムの手続きを単位として,入力文字列の伝播を表す関数について制約を生成し,解決することによって脆弱性を検出する.