著者

Takeuchi Kota Tsuboi Akito

出版者

Elsevier

雑誌

Annals of pure and applied logic (ISSN:01680072)

巻号頁・発行日

vol.163, no.12, pp.1891-1902, 2012-12

被引用文献数

11 5

---

We introduce several concepts concerning the indiscernibility of trees. A tree is by definition an ordered set (O,<) such that, for any a∈O, the initial segment {b∈O:b<a} determined by a is a linearly ordered set. A typical example of a tree is the set ω<ω of finite ω-sequences with the order relation <ini, where η<iniν means that η is a proper initial segment of ν. In this paper, we consider some structure M in the language L and are interested in sets A of the form (aη)η∈O, where O is a tree, and aη labeled by η is an element in M. Such a set A is also called a tree in this paper. We study the indiscernibility of trees A in general settings and apply the obtained results to the study of unstable theories.

著者

Vong Long Binh Tomita Tsutomu Yoshitomi Toru Matsui Hirofumi Nagasaki Yukio

出版者

Elsevier

雑誌

Gastroenterology (ISSN:00165085)

巻号頁・発行日

vol.143, no.4, pp.1027-1036.e3, 2012-10

被引用文献数

155 22

---

Background & AimsDrugs used to treat patients with ulcerative colitis are not always effective because of nonspecific distribution, metabolism in the gastrointestinal tract, and side effects. We designed a nitroxide radical-containing nanoparticle (RNPO) that accumulates specifically in the colon to suppress inflammation and reduce the undesirable side effects of nitroxide radicals.MethodsRNPO was synthesized by assembly of an amphiphilic block copolymer that contains stable nitroxide radicals in an ether-linked hydrophobic side chain. Biodistribution of RNPO in mice was determined from radioisotope and electron spin resonance measurements. The effects of RNPO were determined in mice with dextran sodium sulfate (DSS)-induced colitis and compared with those of low-molecular-weight drugs (4-hydroxyl-2,2,6,6-tetramethylpiperidine-1-oxyl [TEMPOL] or mesalamine).ResultsRNPO, with a diameter of 40 nm and a shell of poly(ethylene glycol), had a significantly greater level of accumulation in the colonic mucosa than low-molecular-weight TEMPOL or polystyrene latex particles. RNPO was not absorbed into the bloodstream through the intestinal wall, despite its long-term retention in the colon, which prevented its distribution to other parts of the body. Mice with DSS-induced colitis had significantly lower disease activity index and less inflammation following 7 days of oral administration of RNPO compared with mice with DSS-induced colitis or mice given low-molecular-weight TEMPOL or mesalamine.ConclusionsWe designed an orally administered RNPO that accumulates specifically in the colons of mice with colitis and is more effective in reducing inflammation than low-molecular-weight TEMPOL or mesalamine. RNPO might be developed for treatment of patients with ulcerative colitis.

著者

Hayakawa Ichiro Ikedo Akiyuki Chinen Takumi Usui Takeo Kigoshi Hideo

出版者

Elsevier

雑誌

Bioorganic & medicinal chemistry (ISSN:09680896)

巻号頁・発行日

vol.20, no.19, pp.5745-5756, 2012-10

被引用文献数

17 3

---

Various analogues of glaziovianin A, an antitumor isoflavone, were synthesized, and their biological activities were evaluated. O7-modified glaziovianin A showed strong cytotoxicity against HeLa S3 cells. Compared to glaziovianin A, the O7-benzyl and O7-propargyl analogues were more cytotoxic against HeLa S3 cells and more potent M-phase inhibitors. Furthermore, O7-modified molecular probes of glaziovianin A were synthesized for biological studies.

著者

Yamashita Hiroki Kasahara Jiro Sugiyama Yuta Matsuo Akiko

出版者

Elsevier Inc.

雑誌

Combustion and flame (ISSN:00102180)

巻号頁・発行日

vol.159, no.9, pp.2954-2966, 2012-09

被引用文献数

47 1

---

This study was a numerical and experimental investigation of low-temperature auto-ignitions behindreflected shock waves in which a shock tube was employed as the experimental system. We used ahigh-speed video camera and the Schlieren method to visualize the ignition phenomena. Experimentswere performed over a temperature range from 549 ± 10 to 1349 ± 11 K and a pressure range from56 ± 2 to 203 ± 13 kPa, and a non-diluted stoichiometric acetylene–oxygen mixture was chosen as thecombustible gas. We introduced a numerical simulation to help us understand the disturbed temperaturedistribution behind bifurcated shock waves due to interference between reflected shock waves and theboundary layer developed behind incident shock waves. Additionally, we experimentally observed andevaluated quantitatively a tendency for ignition positions to be located farther from the reflecting wallas the temperature decreased behind reflected shock waves. To focus our attention on the ignition positions,we classified the ignition types behind reflected shock waves as near-wall ignition and far-wallignition by 4.7 mm distance from reflecting wall. The criterion for these ignition types was estimatedto be -1.0≦(∂ti/∂T5t)p5t≦-0.5. As a main object in this manuscript, we proposed an ignition modelin which local ignition is induced at some distance from reflecting wall based on the numerical simulationand results; the local ignitions at a point distant from the reflecting wall are induced by the temperaturerise, with the distance from the reflecting wall, immediately behind concave reflected shock wavesdue to developing of bifurcated shock waves. We confirmed that there is no discrepancy between the proposedmodel and experimental results.

著者

Yasuno Fumihiko Tanimukai Satoshi Sasaki Megumi Ikejima Chiaki Yamashita Fumio Kodama Chiine Hidaka Shin Mizukami Katsuyoshi Asada Takashi

出版者

Elsevier Inc.

雑誌

Neurobiology of aging (ISSN:01974580)

巻号頁・発行日

vol.33, no.11, pp.2633-2640, 2012-11

被引用文献数

28

---

We examined the combined effect of plasma lipids/hypertension and apolipoprotein E (APOE) genotype on cognitive function in elderly individuals. Plasma concentrations of high-density lipoprotein (HDL), low-density lipoprotein (LDL), triglyceride (TG), total cholesterol (TC), APOE, and history of hypertension were evaluated in 622 community-dwelling individuals aged 65 years and older. We investigated the associations between plasma lipids/hypertension and cognitive function in apolipoprotein E4 allele (APOE4) carrier (E4+) and APOE4 noncarrier (E4–) groups using 3-year longitudinal data. At baseline and 3 years later, cognitive scores were correlated with plasma APOE levels in both E4– and E4+, and HDL level in E4–. The combination of hypertension and E4+, but not E4–, was associated with a significant deterioration in cognitive function during the 3-year follow-up. Our findings suggest that an interaction between APOE and HDL is facilitated by APOE4, and is possibly linked with a protective effect on cognitive decline in later life. The findings also indicate a synergistic effect of an APOE4 allele and hypertension on the acceleration of cognitive decline.

著者

Tokuda Yasuharu Goto Eiji Otaki Junji Omata Fumio Shapiro Mina Soejima Kumiko Ishida Yasushi Ohde Sachiko Takahashi Osamu Fukui Tsuguya

出版者

Elsevier Inc.

雑誌

The Journal of emergency medicine (ISSN:07364679)

巻号頁・発行日

vol.43, no.3, pp.494-501, 2012-09

被引用文献数

4

---

BackgroundThe new postgraduate medical education (PGME) was recently introduced to improve quality of emergency care in Japan.ObjectivesTo compare the quality of care and confidence in provision of emergency medicine between physicians who completed the old and new PGME programs.MethodsA cross-sectional survey was sent to 279 physicians of postgraduate years 4–9, and 208 responses (75%) were received. Quality of care in emergency medicine was measured using 26 questions on treatment choices for various clinical conditions. Each question had six responses, including a single correct choice. Effect size was obtained by dividing the total difference in score by the standard deviation of the score distribution. Confidence in emergency medicine was rated using four self-reported items on the level of confidence in treating acute illnesses in various emergency medicine settings.ResultsThe mean score for quality of care was significantly higher in the new PGME group (15.3) compared to the old PGME group (12.8). The difference in scores was 2.5 (p < 0.01) and the effect size (0.47) indicated a moderate difference. Linear regression of total scores adjusted for physician covariates produced similar results of an adjusted score difference of 2.5 (p < 0.01) and an adjusted effect size of 0.47. The new PGME group also had significantly greater confidence in provision of emergency medicine based on significant differences between the groups for all four self-reported items (all p < 0.05).ConclusionsJapanese physicians who complete the new PGME program are likely to provide higher quality of care and have greater confidence in emergency medicine compared to those who completed the old PGME program.

著者

恒吉 隆郎

巻号頁・発行日

2012

---

筑波大学博士 (社会工学) 学位論文・平成24年3月23日授与 (甲第6051号)

著者

橋本 茂 奥浦 孝彦 駒井 春士

出版者

一般社団法人映像情報メディア学会

雑誌

映像情報メディア学会誌 : 映像情報メディア (ISSN:13426907)

巻号頁・発行日

vol.52, no.2, 1998-02-20

著者

亀田 貴雄 藤田 耕史 杉田 興正 平沢 尚彦 高橋 修平

出版者

社団法人日本気象学会

雑誌

大会講演予講集

巻号頁・発行日

vol.96, 2009-10-31

著者

松岡 準志

出版者

一般社団法人映像情報メディア学会

雑誌

映像情報メディア学会技術報告 (ISSN:13426893)

巻号頁・発行日

vol.33, no.43, pp.13-18, 2009-10-23

著者

田中菜採兒

出版者

国立国会図書館

雑誌

調査と情報 (ISSN:13492098)

巻号頁・発行日

no.761, 2012-11-13

著者

松本 和彦 新舎 隆夫 小島 智

雑誌

全国大会講演論文集

巻号頁・発行日

vol.46, pp.133-134, 1993-03-01

---

多段論理生成は、多段化されたブール式を目標回路系の論理回路にマッピングする処理を伴う。マッピング手法はルールベース手法とトリーマッピングアルゴリズムに大きく分かれ、後者に属する代表的なものに、グラフカバリング法を用いるDAGONがある。本論文のPOLARISもトリーマッピングアルゴリズムの一種である。POLARISは先に、極性伝播法を用いるアルゴリズムとして提案したが、その後の評価結果より、極性伝播法だけでは最適なマッピングができないことが判明した。本論文では、従来アルゴリズムの問題点を解決する拡張アルゴリズムについて述べる。

著者

Manabu KOIKE Yasutomo YUTOKU Aki KOIKE

出版者

公益社団法人 日本獣医学会

雑誌

Journal of Veterinary Medical Science (ISSN:09167250)

巻号頁・発行日

pp.12-0333, (Released:2012-11-14)

被引用文献数

4 11

---

The DNA repair protein Ku70 is a key player in chemoresistance to anticancer agents (e.g., etoposide) or radioresistance. The responses of different organs to radiation vary widely and likely depend on the cell population in the organs. Previously, we established and characterized Ku70-deficient murine lung epithelial (Ku70 −/− MLE) cells and found that these cells are more sensitive than Ku70 +/− MLE cells (control cells) to X-irradiation, as determined by clonogenic survival assay; however, the mechanism underlying this sensitivity remains unclear. In this study, we examined the mechanism by which X-irradiation triggers the death of Ku70 −/− MLE cells. Our results showed that Ku70 −/− MLE cells were more sensitive to radiation-induced apoptosis than control cells, although X-irradiation activated caspase-3 and caspase-7, and cleaved PARP in both cell lines. We also examined the expression level of phosphorylated H2AX (γH2AX), which is a marker of DSB, and observed the phosphorylation of H2AX and the elimination of γH2AX in both cell lines after X-irradiation. The elimination in Ku70 −/− MLE cells was slower than that in control cells, suggesting that DSB repair activity in the Ku70 −/− MLE cells is lower than that in control cells. These findings suggest that Ku70 might play a key role in the inhibition of apoptosis through the DSB repair pathway in lung epithelial cells. Our findings also suggest that these cell lines might be useful for the study of Ku70 functions and the Ku70-dependent DSB repair pathway in lung epithelial cells.

著者

Jin HUR Byung Woo JEON Yeong Ju KIM In Gyeong OH John Hwa LEE

出版者

公益社団法人 日本獣医学会

雑誌

Journal of Veterinary Medical Science (ISSN:09167250)

巻号頁・発行日

pp.12-0378, (Released:2012-11-14)

被引用文献数

1 6

---

Escherichia coli strains were isolated from the feces of 130 diarrheic calves at different farms locations in Korea. The presence of the virulence genes, such as fanC, f41, f17a, eaeA, clpG, afa-8D, sta, stx1 and stx2, in each E. coli isolate was examined. Among the 314 isolates, 157 carried one or more of the virulence genes tested in this study. The most prevalent virulence gene was clpG (45.9%), although f17A (36.9%) and afa-8D (21.7%) were also frequently observed. The sta, stx1 and eaeA genes were detected in between approximately 13 and 17% of the isolates, and the fanC and fim41a genes were detected to a lesser extent. Collectively, our data indicated that diarrhea in calves in these locations can be ascribed to various virulence factors, and the pathogenesis may be more related to virulence genes such as, clpG, f17A, and afa-8D.

著者

藤田 茂 菅原 研次 木下 哲男 白鳥 則郎

出版者

情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.37, no.5, pp.840-852, 1996-05-15

被引用文献数

98

---

本論文では 最初に従来の分散処理システムのサービス機能を実現する種々の計算機プロセスをエージェント化して構成されるエージェント指向分散処理システムADIPS (Agent-based Distributed Information Processing System)の概念とそのアーキテクチャを提案する. 次に ADIPSの構築を支援する枠組み(ADIPSフレームワーク)を提案する. そして 目的とする機能をエージェントの協調によって自律的に構成するための拡張契約ネットプロトコルを提案する. ADIPSフレームワークの特徴は次の4つに集約される. (1)利用者要求駆動で自律的にシステムが構成される. (2)障害発生などのイベント駆動で自律的にシステムの再構成が行われる. (3)自律的なシステムの構成/再構成のために エージェントは設計者・運用技術者の知識を利用する. (4)エージェント化により既存プロセスの系統的再利用ができる. さらに 本論文では TCP/IPネットワーク環境で試作されたADIPSフレームワークを用いたエージェント指向テレビ会議システムの試作と実験により 提案した枠組みの有効性を確認した.In this paper, first, we propose a new concept of Agent-based Distributed Information Processing System (ADIPS) and its architecture, which is constructed by agentification technology of various kinds of computational processes which provide services of conventional distributed information processing systems. Second, an ADIPS Framework which provides facilities of constructing ADIPS is proposed. Third, Extended Contract Net Protocol (ECNP)is proposed to provide a protocol for cooperation to construct and reconstruct organizations of ADIPS agents. The advantages of ADIPS Framework are (1) Autonomous construction of systems driven by user's requirements, (2) Autonomous construction of systems driven by events such as system troubles, (3) Heuristics of designers and operators is used by agents to construct and reconstruct organizations of agents to deal with tasks, (4) agentification makes reusability of existing processes more efficient. Finally, a prototype of the ADIPS Framework is developed in the distributed environment of TCP/IP network protocol, and an experimental system of a TV conference system based on the ADIPS architecture is developed to validate the ADIPS Framework.

著者

本間 雅行 田村 亮 戸川 望 柳澤 政生 大附 辰夫 佐藤 真琴

出版者

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

雑誌

電子情報通信学会技術研究報告. VLD, VLSI設計技術 (ISSN:09135685)

巻号頁・発行日

vol.108, no.224, pp.7-12, 2008-09-22

---

近年のディジタル機器においては,多種多様で,膨大なデータを短時間で処理することが要求されている.このような要求に応える新たなアーキテクチャとして,多数の演算器を並列に動作させることができる再構成型プロセッサがある.ここでは,ディジタルメディア処理向け動的再構成プロセッサFE-GA(Flexible Engine/Generic ALU array)に注目する.現在,FE-GAの開発ツールに関してはまだ確立されていない.そこで本稿では,FE-GAへの設計を容易にし,開発コストを軽減するFE-GAマッピングアルゴリズムを提案する.このアルゴリズムは特定のデータフローグラフ(DFG)を入力とすることで,FE-GAへのマッピング結果を生成,変換し,FE-GA専用のアセンブリ言語を自動生成するものである.この自動生成したアセンブリ言語をFEEditorと呼ばれる専用ツールに読み込ませることでマッピング自動化を実現する.提案手法では,DFGの入力側から出力側に向かってレベル順にノードを一つ一つFE-GAの演算セルアレイに配置配線していく.最初にマッピングするノードを優先的に左上にマッピングすることとし,それ以降のノードは,マッピングしたいノードの入力データを出力するノードの位置により,その位置を決定する.この過程を繰り返すことでマッピングを実現する.8つのDFGに対し提案手法を適用しサイクル数および実行時間を算出した.すべてのDFGでマッピングを実現することができた.

著者

小川 瑞史

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告. [プログラミング-言語基礎実践-]

巻号頁・発行日

vol.93, no.46, pp.75-85, 1993-05-28

---

近年Robertson-Seymourにより証明されたグラフマイナー定理(Wagnberの予想)により有限グラフ上のminor-closedな性質の検出は多項式時間アルゴリズムが存在することが知られている.しかし,その証明は非構成的であり一般に実際のアルゴリズムを構成するのは難しかった.本稿ではグラフマイナー定理の簡単な場合であるHigmanの補題の構成的証明を用い,未解決問題であった時間概念を含むデータベース上の選言的単項質問処理の線形時間アルゴリズムを自動生成により与えた.

著者

河邊 昌彦 二村 良彦

出版者

一般社団法人日本ソフトウェア科学会

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.20, no.4, pp.363-368, 2003-07-25

---

頂点にラベルの付いた連結グラフのランダム生成は,グラフアルゴリズムの評価のために重要である.本稿では,グラフのランダム生成に必要な構成比を近似する方法を提案し,それによって高速な生成が可能であることを示す.グラフアルゴリズムの評価には,特定の性質を有してランダムに生成されたグラフが多量に必要である.また,ネットワークのシミュレーション等に関しても,テストデータとしてランダムに生成されたグラフを必要とすることがある.その際,グラフ生成が高速であることと同時に,生成されるグラフのランダムネスに関しても高精度であることが要求される.例えば,[1]において最小全域木問題を線形時間で解く確率的アルゴリズムが示されているが,このアルゴリズムの検証を実際に行うためには,テストデータとしてランダムに生成された重み付き連結無向グラフが必要となる.このようなグラフは,ランダムに生成されたラベル付き連結無向グラフから生成可能である[6].指定された頂点数nと辺数mを持ち,頂点にラベルの付いた連結無向グラフをランダムに生成する既存の方法として,以下のものが挙げられる.頂点数nの木をランダムに生成し,これにm-m+1本の辺をランダムに付け加えることによって連結グラフを生成できる(全域木法).また,m本の辺をランダムに決定して生成されたグラフが連結となるまで繰り返して,連結グラフを生成する方法もある(生成検査法).或いは,構成比というグラフ総数に関する指標を用いて,ランダムにグラフを生成することができる(構成比法).しかし,全域木法に関してはランダムネスの精度に,生成検査法と構成比法に関しては生成時間に問題があり,必ずしも実用可能ではない.また,これら以外で効率的なグラフ生成を可能とする方法は,我々の調査では見出せなかった.本稿では,構成比を高い精度で近似する単純な近似式を提案する.それにより,構成比法によるグラフ生成の時間を改善し,大規模なグラフに関しても現実的な時間で生成できることを示す.

著者

朝廣 雄一 宮野 英次 宮崎 修一 吉牟田 拓朗

出版者

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

雑誌

電子情報通信学会技術研究報告. COMP, コンピュテーション (ISSN:09135685)

巻号頁・発行日

vol.106, no.405, pp.15-22, 2006-11-27

---

グラフ上での地図作成問題とは,探索者が未知のグラフの全ての頂点を訪問することによりグラフ構造を調査する問題である.探索者は辺の存在とその長さをその端点を訪れるまで判らないとする.探索者は,できるだけ短い経路を通ることにより全ての頂点と辺を調査して,出発点まで戻って来なければならない.本問題に対する最も単純な方法の一つは,最近傍アルゴリズム(NN)であり,まだ訪れていない頂点の中で探索者の現在の場所から最も近い場所に移動する戦略である.重み付き最近傍アルゴリズム(WNN)は,NNの拡張であり,ある重み付きの距離により次の移動場所を決める.平面グラフにおいては,重み3であるWNNが16競合であることが知られている.本稿ではサイクルグラフについては,NNの競合比が1.5となること,その解析が厳密であることを示す.また,サイクルグラフに対してはWNNの中でNNが最適であることを示す.さらに,本問題に対しては,1.25競合よりも良いアルゴリズムが存在しないことを示す.

出版者

外務大臣官房移民課

巻号頁・発行日

1892