著者

Unno Hiroshi Terauchi Tachio Kobayashi Naoki

出版者

ACM

雑誌

Proceeding POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

巻号頁・発行日

pp.75-86, 2013-01

被引用文献数

30

---

We present an automated approach to relatively completely verifying safety (i.e., reachability) property of higher-order functional programs. Our contribution is two-fold. First, we extend the refinement type system framework employed in the recent work on (incomplete) automated higher-order verification by drawing on the classical work on relatively complete "Hoare logic like" program logic for higher-order procedural languages. Then, by adopting the recently proposed techniques for solving constraints over quantified first-order logic formulas, we develop an automated type inference method for the type system, thereby realizing an automated relatively complete verification of higher-order programs.

著者

Narusaka Mari Kubo Yasuyuki Hatakeyama Katsunori Imamura Jun Ezura Hiroshi Nanasato Yoshihiko Tabei Yutaka Takano Yoshitaka

出版者

Public Library of Science

雑誌

PLoS ONE (ISSN:19326203)

巻号頁・発行日

vol.8, no.2, pp.e55954, 2013-02

被引用文献数

77 10

---

A major class of disease resistance (R) genes which encode nucleotide binding and leucine rich repeat (NB-LRR) proteins have been used in traditional breeding programs for crop protection. However, it has been difficult to functionally transfer NB-LRR-type R genes in taxonomically distinct families. Here we demonstrate that a pair of Arabidopsis (Brassicaceae) NB-LRR-type R genes, RPS4 and RRS1, properly function in two other Brassicaceae, Brassica rapa and Brassica napus, but also in two Solanaceae, Nicotiana benthamiana and tomato (Solanum lycopersicum). The solanaceous plants transformed with RPS4/RRS1 confer bacterial effector-specific immunity responses. Furthermore, RPS4 and RRS1, which confer resistance to a fungal pathogen Colletotrichum higginsianum in Brassicaceae, also protect against Colletotrichum orbiculare in cucumber (Cucurbitaceae). Importantly, RPS4/RRS1 transgenic plants show no autoimmune phenotypes, indicating that the NB-LRR proteins are tightly regulated. The successful transfer of two R genes at the family level implies that the downstream components of R genes are highly conserved. The functional interfamily transfer of R genes can be a powerful strategy for providing resistance to a broad range of pathogens.

著者

Fujita Mari Sasanuma Hiroyuki Yamamoto Kimiyo N. Harada Hiroshi Kurosawa Aya Adachi Noritaka Omura Masato Hiraoka Masahiro Takeda Shunichi Hirota Kouji

出版者

Public Library of Science

雑誌

PLoS ONE (ISSN:19326203)

巻号頁・発行日

vol.8, no.4, 2013-04-03

被引用文献数

19

---

DNAが切れていないのに発生する染色体断裂の発見 -ヒトの被爆線量を測定する手法に異議あり-. 京都大学プレスリリース. 2013-04-04.

著者

Sobue Tomotaka Lee Valerie S. Ye Weimin TANOOKA HIROSHI MIFUNE MASAAKI SUYAMA AKIHIKO KOGA TAEKO MORISHIMA HIROSHIGE KONDO SOHEI

出版者

日本放射線影響学会

雑誌

Journal of radiation research (ISSN:04493060)

巻号頁・発行日

vol.41, no.2, pp.81-92, 2000-06

被引用文献数

3 17

---

In order to investigate an association between residential radon exposure and risk of lung cancer, a case-control study was conducted in Misasa Town, Tottori Prefecture, Japan. The case series consisted of 28 people who had died of lung cancer in the years 1976-96 and 36 controls chosen randomly from the residents in 1976, matched by sex and year of birth. Individual residential radon concentrations were measured for 1 year with alpha track detectors. The average radon concentration was 46 Bq/m3 for cases and 51 Bq/m3 for controls. Compared to the level of 24 or less Bq/m3, the adjusted odds ratios of lung cancer associated with radon levels of 25-49, 50-99 and 100 or more Bq/m3, were 1.13 (95% confidence interval; 0.29-4.40), 1.23 (0.16-9.39) and 0.25 (0.03-2.33), respectively. None of the estimates showed statistical significance, due to small sample size. When the subjects were limited to only include residents of more than 30 years, the estimates did not change substantially. This study did not find that the risk pattern of lung cancer, possibly associated with residential radon exposure, in Misasa Town differed from patterns observed in other countries.

著者

Yosuke AMAGAI Akane TANAKA Akira MATSUDA Kumiko OIDA Kyungsook JUNG Hiroshi MATSUDA

出版者

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

雑誌

Journal of Veterinary Medical Science (ISSN:09167250)

巻号頁・発行日

pp.12-0540, (Released:2013-01-17)

被引用文献数

4 7 2

---

Mast cell tumors (MCTs) are the most common tumors in dogs, accounting for 16–21% of cutaneous tumors. Although several small molecule inhibitors, including imatinib mesylate, have been used for the treatment of MCTs, the response rate remains less than 50%. In this study, the effects of different selective signal inhibitors on MCT cell growth were evaluated using 4 different cell lines derived from dogs. We found that the phosphoinositide 3-kinase (PI3K) signaling pathway is crucial for the proliferation of MCT cells in the presence or absence of c-kit gene mutations. Here, we propose a novel therapeutic strategy to target the PI3K pathway for the treatment of canine MCTs.

著者

家高 洋 イエタカ ヒロシ Ietaka Hiroshi

出版者

大阪大学大学院文学研究科哲学講座

雑誌

メタフュシカ : the journal of philosophy and ethics (ISSN:13426508)

巻号頁・発行日

no.42, pp.93-108, 2011-12

---

鷲田清一名誉教授 退職記念号

著者

ISHIGURO J TADA Toshito OGIHARA Takuo OHZAWA Nobuo MURAKAMI Kimihiro KOSUZUME Hiroshi

出版者

公益社団法人日本薬学会

雑誌

J Pharmacobiodyn. (ISSN:0386846X)

巻号頁・発行日

vol.11, pp.251-261, 1988

被引用文献数

1

---

When orally administered to rats, ^<14>C-labelled ethyl eicosapentaenoate (^<14>C-EPA-E) was hydrolyzed and, in the lymph, incorporated mainly into triglycerides (TG) in chylomicrons. In plasma and other tissues, eicosapentaenoic acid (EPA) and its metabolites, such as docosapentaenoic acid (DPA) and docosahexaenoic acid (DHA), were detected in TG and phospholipid fractions. In plasma, EPA and its metabolites were found to be integrated into lipoproteins. Tissue distribution of these metabolites showed characteristic patterns from one tissue to another, as did their compositional distribution in lipids. EPA, DPA and DHA were found to be metabolized via β-oxidation in in vitro experiments with mitochondrial fraction.

著者

Sato Sho Nagai Yuko Koga Takashi Sugita Shigeki Saito Mika Itsumura Hiroshi 佐藤 翔 斎藤 未夏 逸村 裕

出版者

De Gruyter Saur

雑誌

Open Access to Scientific Information: Trends, Models and Strategies for Libraries

巻号頁・発行日

vol.IFLA publications ; 153, pp.157-166, 2011-07

被引用文献数

2

---

To evaluate how the deposition of journal articles in Institutional Repositories(IRs) affects the number of citations and e-journal usage, we placed some articlespublished in Zoological Science in two IRs, and compared their use in IRswith e-journals, as well as with the number of resulting citations between 2008and 2009. The results reveal that deposit in IRs did not reduce e-journal usage.Moreover, whereas the journals gained new readers, this did not have an effecton the number of citations.

著者

Yoshimichi Fukuta Kunihiko Konisho Sachiko Senoo-Namai Seiji Yanagihara Hiroshi Tsunematsu Ayumi Fukuo Takashi Kumashiro

出版者

Japanese Society of Breeding

雑誌

Breeding Science (ISSN:13447610)

巻号頁・発行日

vol.62, no.1, pp.27-37, 2012 (Released:2012-03-20)

参考文献数

28

被引用文献数

9 20

---

A total of 18 rainfed upland New Rice for Africa (NERICA) varieties were categorized as the heavy panicle and low tillering types and early heading, in compared with 32 different varieties. These chromosome components were clarified using 243 SSR markers which showed polymorphism among NERICA varieties and their parents, CG 14 (O. glaberrima Steud.) and one of the recurrent parents, WAB-56-104 (O. sativa L.). NERICA varieties were classified into three groups, which corresponded with these parents’ continuation including two exceptions, NERICAs 14 and 17, by a cluster analysis using polymorphism data of SSR markers and 14 differential markers among them were selected to classify NERICA varieties. However, three groups: NERICAs, 3 and 4, NERICAs, 8, 9 and 11 and NERICAs, 15 and 16 were not distinguishable. Association analysis was carried out for characterization of NERICA varieties by using SSR markers genotype and phenotype of agronomic traits. A total of 131 quantitative trait loci between SSR markers and 11 agronomic traits were detected. The characteristics of early maturity and heavy panicle of upland NERICA varieties were succeeded from Asian rice varieties and the characteristics of high dry matter production and late heading were introduced from CG 14 and the other varieties.

著者

池田 寛 イケダ ヒロシ Ikeda Hiroshi

出版者

大阪大学人間科学部

雑誌

大阪大学人間科学部紀要 (ISSN:03874427)

巻号頁・発行日

vol.22, pp.433-455, 1996-03

著者

Sayuri ITOI Rui KANO Atsuhiko HASEGAWA Hiroshi KAMATA

出版者

JAPANESE SOCIETY OF VETERINARY SCIENCE

雑誌

Journal of Veterinary Medical Science (ISSN:09167250)

巻号頁・発行日

pp.1203280801, (Released:2012-04-02)

被引用文献数

3 27

---

Although the susceptibility of dermatophytes to antifungal drugs is well documented in humans, the effectiveness in animals has not been previously investigated. The in vitro susceptibility of 54 clinical isolates from animal dermatophytoses to ketoconazole (KTZ), itaconazole (ITZ) and terbinafine (TFN) was measured using microdilution assay (CLSI M38-A2 test) and by the E-test (KTZ and ITZ). All 3 drugs showed antifungal activity, while KTZ displayed the broadest minimum inhibition concentration (MIC) range (0.125–16 μg/ml) against M. canis and M. gypseum. The MIC of KTZ and ITZ was almost the same for human and animal isolates of T. mentagrophytes and T. rubrum. The MIC of TFN was almost the same for dermatophytes isolated from humans and animals.

著者

Hidetaka NISHIDA Hiroshi TANAKA Masahiko KITAMURA Shingo HATOYA2 Kikuya SUGIURA2 Toshio INABA2 Masanari NAKAYAMA

出版者

JAPANESE SOCIETY OF VETERINARY SCIENCE

雑誌

Journal of Veterinary Medical Science (ISSN:09167250)

巻号頁・発行日

pp.1203280802, (Released:2012-04-02)

被引用文献数

3 9

---

Progressive ataxia and paralysis in three Miniature Dachshunds were found to be caused by idiopathic sterile pyogranulomatous inflammation of epidural fat between T5 and L4. All dogs were managed by hemilaminectomy and removal of epidural compressive material. Surgical findings and histopathological evaluation were necessary to diagnose epidural pyogranulomatous inflammation. A dog did not regain motor and sensor function after the surgery. Two dogs had exhibited improved neurological function after the surgery, but they recurred. Oral cyclosporine treatment was useful for their long remission. Idiopathic sterile pyogranulomatous inflammation of epidural fat can be considered to be a cause of thoracolumbar myelopathy in dogs.

著者

Hiroshi Yoneyama Masahisa Arahata Rie Temaru Shinji Ishizaka Shinji Minami

出版者

The Japanese Society of Internal Medicine

雑誌

Internal Medicine (ISSN:09182918)

巻号頁・発行日

vol.49, no.4, pp.289-292, 2010 (Released:2010-02-15)

参考文献数

4

被引用文献数

12 27

---

Objective Our study was undertaken to determine the location of the tortuous intercostal artery in elderly patients by using 3D-CT angiography in order to prevent laceration during thoracentesis. Methods We evaluated the data of 3D-CT angiography of the intercostal artery in consecutive patients who had undergone contrast chest CT scan in our hospital from December 2007 to April 2008. We considered the "percent safe space" (the shortest lower rib-to-intercostal artery distance/the upper rib-to-lower rib distance) to be an index of safety that can be used to prevent laceration of the intercostal artery during thoracentesis. We measured this index at 3 points: the total site (5-10 cm lateral to the spine), the lateral site (9-10 cm lateral to the spine), and the medial site (5-6 cm lateral to the spine). Results We evaluated 33 cases (25 males and 8 females; mean age, 74.2 years). The mean percent safe space at the total site was 58.6%. The percent safe space at the total site tended to decrease with advancing age, but the correlation was low (p=0.0378, r=-0.3631). The percent safe space at the lateral site (mean, 79.8%) was significantly higher than that at the medial site (61.2%, p<0.0001). Conclusion We showed that the intercostal artery is tortuous and does not always lie along the inferior edge of the rib and that the percent safe space at the lateral site is significantly higher than that at the medial site in elderly patients.

著者

NISHIOKA Midori SUMIDA Masayuki OHTA Shigeru SUZUKI Hiroshi

出版者

広島大学

雑誌

Scientific report of the Laboratory for Amphibian Biology (ISSN:03863166)

巻号頁・発行日

vol.9, pp.53-96, 1987-12

被引用文献数

3

---

Speciation of three allied genera, Buergeria, Rhacophorus and Polypedates, distributed in the Far East, was biochemically examined by the electrophoretic method. Electrophoretic patterns of 16 enzymes extracted from the skeletal muscles and livers and three blood proteins were analyzed in 257 frogs belonging to 14 populations, including one of Buergeria buergeri, four of B. japonica, two of Rhacophorus arboreus, two of Rh. schlegelii, three of Rh. viridis, one of Rh. taipeianus and one of Polypedates leucomystax. These frogs had 25 loci in total. While 10 enzymes, ADA, ADH, AK, CK, Fum, α-GDH, GPI, ME, MPI and PGM, and three blood proteins, Ab, Prot-C and Hb, had a single locus, the other six enzymes, AAT, IDH, LDH, MDH, Pep and SOD, had two loci. At each of the 25 loci, there were 3&acd;33 phenotypes, 10.6 on the average, produced by 3&acd;17 alleles, 7.5 on the average. The mean proportions of heterozygous loci per individual in each of the 10 populations of Buergeria and Rhacophorus which were 5&acd;58 in sample size were 4.0&acd;23.0%, 12.0% on the average, when examined at the 25 loci controlling 16 enzymes and three blood proteins. These 10 populations were 24&acd;68%, 44.8% on the average, in mean proportion of polymorphic loci per population and 1.28&acd;2.12,1.64 on the average, in mean number of alleles per locus. Genetic distances were estimated from gene frequencies by the method of NEI (1972,1975). Those among different populations of B. japonica, Rh. arboreus and Rh. schlegelii were 0.003&acd;0.270,and those among different subspecies of Rh. viridis were 0.277&acd;0.865. The genetic distances among four species, Rh. arboreus, Rh. schlegelii, Rh. viridis and Rh. taipeianus, were 0.301&acd;0.854,while those between Buergeria buergeri and four populations of B. japonica were 2.045&acd;2.243. The genetic distances between Polypedates and Buergeria and between Polypedates and Rhacophorus were 3.073&acd;4.572 and 1.183&acd;1.445,respectively. The genetic distances between Buergeria and Rhacophorus were very large, being from 2.782 to unlimited number owing to nonexistence of common alleles between them. A dendrogram was drawn for the species and populations of Buergeria, Rhacophorus and Polypedates on the basis of genetic distances by the UPGMA clustering method (SNEATH and SOKAL, 1973; NEI, 1975).

著者

Liu S. Y. Ogi Yoshihiro Fuji Takao Nishizawa Kiyoshi Horio Takuya Mizuno Tomoya Kohguchi Hiroshi Nagasono Mitsuru Togashi Tadashi Tono Kensuke Yabashi Makina Senba Yasunori Ohashi Haruhiko Kimura Hiroaki Ishikawa Tetsuya Suzuki Toshinori

出版者

American Physical Society

雑誌

Phsical Review A (ISSN:10502947)

巻号頁・発行日

vol.81, no.3, 2010

被引用文献数

23

---

A time-resolved photoelectron imaging using a femtosecond ultraviolet (UV) laser and a vacuum UV freeelectron laser is presented. Ultrafast internal conversion and intersystem crossing in pyrazine in a supersonic molecular beam were clearly observed in the time profiles of photoioinzation intensity and time-dependent photoelectron images.

著者

SATO Sho NISHIURA Minako ITSUMURA Hiroshi MITSUISHI Tomomi OKA Mizuki LEE Myeong-Hee HASHIMOTO Yasuhiro

巻号頁・発行日

2010-11

---

This paper reports the development of a platform called the pingpong platform with the aim of collecting and visualizing the information on human behavior and also the outcome of a series of design workshops held for trying out this platform. With the proliferation of new technology, it has become easier for us to obtain the data of human behavior. Making good use of such collected data, new attempts have been emerged for designing spaces. In conjunction with trend, we have developed the pingpong platform by using Twitter and held design workshops at three different university campuses in Japan. The outcome shows that: 1. Human behavioral data can be easily obtained via the pingpong platform, 2. The visualization of the data greatly helps in putting the feedback to the best use for designing physical spaces.

著者

Tomoyuki NOGUCHI Takashi YOSHIURA Akio HIWATASHI Osamu TOGAO Koji YAMASHITA Kouji KOBAYASHI Futoshi MIHARA Hiroshi HONDA

出版者

Japanese Society for Magnetic Resonance in Medicine

雑誌

Magnetic Resonance in Medical Sciences (ISSN:13473182)

巻号頁・発行日

vol.6, no.2, pp.91-97, 2007 (Released:2007-08-07)

参考文献数

19

被引用文献数

17 22

---

Purpose: Pulsed arterial spin labeling (PASL) is a magnetic resonance (MR) method for measuring cerebral blood flow. Although several validation studies for PASL in animals and humans have been reported, no reports have detailed the fundamental study of PASL using a flow phantom. We compared the true and theoretical flow rates in a flow phantom to confirm the analytical validity of quantitative perfusion imaging with Q2TIPS sequence. Methods: We built a flow phantom consisting of a 40-mm diameter plastic syringe filled with plastic beads and small plastic tubes 4 mm in diameter. Gd-DTPA-doped 8L water solution (0.1 mM) was circulated between the syringe and a tank through a plastic tube by a constant flow pump while the flow rate was adjusted between 0 and 2.61 cm/s. Q2TIPS sequence parameters were TI1=50 ms and TI2=1400 ms. Five imaging slices of 50 subtraction images were acquired sequentially in a distal-to-proximal direction using a single-shot echo planar imaging (EPI) technique. The theoretical flow rate calculated based upon the previously reported kinetic model for Q2TIPS was compared with the true flow rate. Results: A good linear relationship was observed between the theoretical, F′, and true flow rates, F, in a flow rate range of 1.43 to 1.95 cm/s (F′=1.024•F−1.915, R2=0.902). The ratio of theoretical to true flow rate was 92 (+/−) 4%. Conclusion: Flow rate was quantified with reasonable accuracy when the entire amount of labeled bolus within the phantom could be recovered. Our experiment confirmed the analytical validity of Q2TIPS and suggested that blood flow measurement may be feasible using the Q2TIPS pulse sequence and kinetic model of the PASL equation.

著者

Sato Sho Nagai Yuko Koga Takashi Sugita Shigeki Saito Mika Itsumura Hiroshi

巻号頁・発行日

2010-08-07

---

テーマは「機関リポジトリに論文を登録すると登録しなかった場合より引用される回数は増えるか」と「機関リポジトリで論文が公開されてしまうと出版者の電子ジャーナルの方はアクセスされなくなるのか」

著者

Eiji Takeda Junji Terao Yutaka Nakaya Ken-ichi Miyamoto Yoshinobu Baba Hiroshi Chuman Ryuji Kaji Tetsuro Ohmori Kazuhito Rokutan

出版者

徳島大学医学部

雑誌

The Journal of Medical Investigation (ISSN:13431420)

巻号頁・発行日

vol.51, no.3,4, pp.139-145, 2004 (Released:2004-10-27)

参考文献数

51

被引用文献数

30 69

---

Stress is a pervasive factor in everyday life that critically affects development and functioning. Severe and prolonged stress exposure impairs homeostatic mechanisms, particularly associated with the onset of depressive illness. Brain food is aimed at preventing as well as treating a growing number of stress-related mental disorders. Some topics on the association of stress and nutrition is reviewed. (1) An increased activity of serotonergic neurons in the brain is an established consequence of stress. An increase in brain tryptophan levels on the order of that produced by eating a carbohydrate-rich/protein-poor meal causes parallel increases in the amounts of serotonin released into synapses. (2) Eating is thought to be suppressed during stress, due to anorectic effects of corticotrophin releasing hormone, and increased during recovery from stress, due to appetite stimulating effects of residual cortisol. (3) A strong inverse association between coffee intake and risk of suicide. (4) Night eating syndrome has been found to occur during periods of stress and is associated with poor results at attempts to lose weight and disturbances in the hypothalamic-pituitary-adrenal axis. (5) Dietary antioxidants present in fruits and vegetables may improve cognitive function. Therefore, it is concluded that the establishment of functional foods that correctly regulate stress response must be firmly based upon scientific knowledge and legal regulation.

著者

大城 淳一 国吉 孝夫 盛島 浩明 照喜名 重順 城間 健治 新垣 聰 東恩納 厚 新垣 民樹 浦崎 政仁 佐久川 廣 金城 福則 斎藤 厚 Ohshiro Junichi Kuniyoshi Takao Morishima Hiroaki Terukina Shigeyoshi Shiroma Kenji Arakaki Satoshi Higashionna Atsushi Arakaki Tamiki Urasaki Masahito Sakugawa Hiroshi Kinjo Fukunori Saito Atsushi 琉球大学医学部第一内科

出版者

琉球大学医学部

雑誌

琉球大学医学会雑誌 : 医学部紀要 = Ryukyu medical journal (ISSN:02891530)

巻号頁・発行日

vol.11, no.1, pp.28-34, 1989

---

Sulfasalazine and corticosteroids have been used for the treatment of ulcerative colitis. Recently, it is investigated to use metronidazole for treatment of ulcerative colitis. We tried to use metronidazole for three patients with ulcerative colitis , to whom neither sulfasalazine nor corticosteroids were effective. In case 1 the patient was 37-year-old female,to whom conticosteroids had been ineffective. After treatment by metronidazole together with corticosteroids, the symptoms were improved. In case 2 the patient was 74-year-old female, who had relapsed during treatment with sulfasalazine. Treatment with metronidazole alone resulted in the remission of disease. In case 3 the patient was 32-yearold female, to whom the treatment with sulfasalazine and corticosteroids enema had been ineffecitve. By use of metronidazole together with sulfasalazine, she had remission. It seems that metronidazole is useful for the treatment of ulcerative colitis, especially in patients who did not respond to other drugs.