著者
KAMEYAMA YUKIYOSHI KISELYOV OLEG SHAN CHUNG-CHIEH
出版者
Cambridge University Press
雑誌
Journal of functional programming (ISSN:09567968)
巻号頁・発行日
vol.21, no.6, pp.617-662, 2011-11
被引用文献数
12

It is often hard to write programs that are efficient yet reusable. For example, an efficient implementation of Gaussian elimination should be specialized to the structure and known static properties of the input matrix. The most profitable optimizations, such as choosing the best pivoting or memoization, cannot be expected of even an advanced compiler because they are specific to the domain, but expressing these optimizations directly makes for ungainly source code. Instead, a promising and popular way to reconcile efficiency with reusability is for a domain expert to write code generators.Two pillars of this approach are types and effects. Typed multilevel languages such as MetaOCaml ensure safety and early error reporting: a well-typed code generator neither goes wrong nor generates code that goes wrong. Side effects such as state and control ease correctness and expressivity: An effectful generator can resemble the textbook presentation of an algorithm, as is familiar to domain experts, yet insert let for memoization and if for bounds checking, as is necessary for efficiency. Together, types and effects enable structuring code generators as compositions of modules with well-defined interfaces, and hence scaling to large programs. However, blindly adding effects renders multilevel types unsound.We introduce the first multilevel calculus with control effects and a sound type system. We give small-step operational semantics as well as a one-pass continuation-passing-style translation. For soundness, our calculus restricts the code generator's effects to the scope of generated binders. Even with this restriction, we can finally write efficient code generators for dynamic programming and numerical methods in direct style, like in algorithm textbooks, rather than in continuation-passing or monadic style.
著者
吉田 いつこ 小林 敏生 寺岡 幸子 虫明 悦生 Kongsap AKKHAVONG Amphoy SIHAVONG Dalaphone SITTHIDETH Bang-on NISAYGNANG 門司 和彦
出版者
日本民族衛生学会
雑誌
民族衛生 (ISSN:03689395)
巻号頁・発行日
vol.77, no.3, pp.109-120, 2011 (Released:2011-07-25)
参考文献数
24

The purpose of this study is to clarify the effectiveness and significance of the health education method through using traditional folk song “Lam” in Lao PDR.The study was conducted at a village in Vientiane city with 48 participants. Firstly we collected quantitative data by questionnaire survey and then conducted group interview after listening “Lam” for HIV/AIDS prevention. The qualitative data was analyzed by basic procedure of KJ method.The result showed that the participants with older than 20-year old (p<0.05) and lower education (p<0.05) tended to prefer “Lam”. Through the qualitative analysis, eight categories were extracted ; 1) Interest for Lam talking about HIV/AIDS, 2) Perception for a risky sexual behavior, 3) Knowledge on the HIV/AIDS infection routes, 4) Commitment for HIV/AIDS prevention, 5) Needs for the health education methods, 6) Suggestion for HIV/AIDS education, 7) Consortium with people living with HIV/AIDS, and 8) Characteristics of Lam and its advantages. After listening Lam, the participants received knowledge about HIV/AIDS and formed attitude for HIV/AIDS prevention. This process was influenced by the characteristics of Lam and its advantage such as entertainment, educational function and traditional communication.These result suggested that Lam which has entertainment and educational function can be utilized as an effective media for Lao people to improve knowledge and promote better attitude and behavior. In addition, the educational method through using traditional communication media such as Lam might be effective for the people to memorize and communicate information.
著者
Taketoshi Ayako Beh Xin Ning Kuwabara Junpei Koizumi Take-aki Kanbara Takaki
出版者
Elsevier Ltd.
雑誌
Tetrahedron letters (ISSN:00404039)
巻号頁・発行日
vol.53, no.28, pp.3573-3576, 2012-07
被引用文献数
23

The ruthenium(III) complex bearing phenylpyridine as acyclometalated ligand serves as an efficient catalyst for the aerobicoxidativedehydrogenation of benzylalcohols to the corresponding benzaldehydes under mild conditions and for the one-pot synthesis of benzonitriles from benzylalcohols with ammonia.
著者
Hillebrandt Wolfgang Janka Hans-Thomas Muller Ewald
出版者
日経サイエンス
雑誌
日経サイエンス (ISSN:0917009X)
巻号頁・発行日
vol.37, no.1, pp.32-40, 2007-01

1572 年11月11日,デンマークの天文学者,ティコ・ブラーエは木星と同じくらい明るく輝く新しい星をカシオペア座の中に見つけた。それは近代天文学の始まりとなった。
著者
Hong Young-Joo Makita Shuichi Jaillon Franck Ju Myeong Jin Min Eun Jung Lee Byeong Ha Itoh Masahide Miura Masahiro Yasuno Yoshiaki
出版者
Optical Society of America
雑誌
Optics Express (ISSN:10944087)
巻号頁・発行日
vol.20, no.3, pp.2740-2760, 2012-01
被引用文献数
50

A high-penetration swept-source optical coherence tomography (HP-SS-OCT) system based on a 1-μm short cavity laser is developed. Doppler OCT processing is applied, along with a custom-made numerical phase stabilization algorithm; this process does not require additional calibration hardware. Thus, our phase stabilization method is simple and can be employed in a variety of SS-OCT systems. The bidirectional blood flow and vasculature in the deep choroid was successfully imaged via two Doppler modes that use different time intervals for Doppler processing. En face projection image of squared power of Doppler shift is compared to ICGA, and the utility of our method is verified.
著者
Dae-Hyun KIM Chi-Bong CHOI Wook-Hun CHUNG Sung-Ho LEE A-Jin LEE Jae-Seung JEONG Ho-Joong KIM Hwi-Yool KIM
出版者
公益社団法人 日本獣医学会
雑誌
Journal of Veterinary Medical Science (ISSN:09167250)
巻号頁・発行日
vol.74, no.10, pp.1323-1326, 2012 (Released:2012-11-02)
参考文献数
26
被引用文献数
1 1

The goal of this study was to prove the possibility of using silicone stents broadly used for human medicine in canine obstructive tracheal disease. A silicone stent anatomically designed for canine trachea was tested on 5 beagle dogs for 8 weeks. The stent was carefully inserted using a newly developed delivery device under fluoroscopic guidance. There were no technical difficulties in placing the stent during the procedure. Previously reported complications of airway stenting such as stent migration or granulation tissue formation did not occur in any of the cases. In addition, removal of the stent was as simple as inserting it, and complications were absent. The stent introduced in this study could possibly be applied to various canine obstructive tracheal diseases.
著者
Byeong-Teck KANG Young-Don SON Sang-Rae LEE Dong-In JUNG Dong-Eog KIM Kyu-Tae CHANG Zang-Hee CHO Hee-Myung PARK
出版者
JAPANESE SOCIETY OF VETERINARY SCIENCE
雑誌
Journal of Veterinary Medical Science (ISSN:09167250)
巻号頁・発行日
vol.74, no.10, pp.1261-1267, 2012 (Released:2012-11-02)
参考文献数
32
被引用文献数
6 10

The purpose of this study was to assess the normal distribution of 18F-fluoro-2-deoxy-D-glucose (FDG) uptake of canine brain structures using a high-resolution research tomography-positron emission tomography (HRRT-PET) and 7 T-magnetic resonance imaging (MRI) fusion system. FDG-PET and T2-weighted MRI of the brain were performed on 4 healthy laboratory beagle dogs. On MRI, regions of interests (ROIs) were manually drawn over 51 intracranial structures, including nine gross structures and 42 detailed structures. Relative standard uptake value ratio (rSUV=SUV of ROI/SUV of whole brain) was calculated for each ROI. The HRRT-PET and 7 T-MRI fusion imaging system demonstrated significant differences in glucose metabolism among various intracranial structures. Among gross structures, the midbrain and the pons and medulla oblongata had the highest uptake (rSUV: 1.12 ± 0.03) and lowest uptake (rSUV: 0.90 ± 0.06) of FDG, respectively. When rSUVs were calculated on detailed regions, the caudal colliculus and the longitudinal fibers of pons had the highest (rSUV: 1.62 ± 0.05) and the lowest (rSUV: 0.63 ± 0.03) glucose metabolism, respectively. Because the high resolution of PET-MRI fusion images provided clearly identifiable metabolic activities of canine brain, the HRRT-PET and 7 T-MRI fusion imaging might be a good tool for evaluation of intracranial diseases in canines.
著者
Tsukazaki Hikaru Honjo Masanori Yamashita Ken-ichiro Ohara Takayoshi Kojima Akio Ohsawa Ryo Wako Tadayuki
出版者
Japanese Society of Breeding
雑誌
Breeding science (ISSN:13447610)
巻号頁・発行日
vol.60, no.2, pp.139-152, 2010
被引用文献数
11

We investigated the correspondence between classifications based on simple sequence repeat (SSR) markers and on morphological traits for 30 bunching onion (Allium fistulosum L.) varieties. We also examined applicability of an assignment test for variety identification in bunching onion. Cluster analysis based on the allele frequency data at 29 SSR loci classified most of the varieties except for ‘Iwatsuki-2’ into the predicted variety groups, ‘Kaga’, ‘Senju’ or ‘Kujo’, which were categorized based on morphological traits. Although ‘Iwatsuki-2’ has been regarded as a member of ‘Kaga’ group, molecular data suggested the variety belonging to ‘Kujo’ rather than ‘Kaga’. In the assignment test at the individual level, 89.1% of the individuals were assigned to their original variety. When the assignment was conducted based on groups each consisting of four individuals, the percentage of correct assignments was considerably improved (99.3%). These results suggested that the assignment test approach will be useful for variety identification in allogamous bunching onions, which have large within-variety genetic diversity. On the other hand, it was also suggested that sampling of true source varieties will be fundamental to avoid misjudgment.
著者
Mashimo Tomoji Takizawa Akiko Kobayashi Junya Kunihiro Yayoi Yoshimi Kazuto Ishida Saeko Tanabe Koji Yanagi Ami Tachibana Asato Hirose Jun Yomoda Jun-Ichiro Morimoto Shiho Kuramoto Takashi Voigt Birger Watanabe Takeshi Hiai Hiroshi Tateno Chise Komatsu Kenshi Serikawa Tadao
出版者
Elsevier
雑誌
Cell reports (ISSN:22111247)
巻号頁・発行日
vol.2, no.3, pp.685-694, 2012-09-27
被引用文献数
61

重症免疫不全SCIDラットの作製 : ヒトiPS細胞、がん細胞、肝細胞をラット体内で培養することに成功. 京都大学プレスリリース. 2012-09-14.
著者
Michel Wolfgang Wolfgang Michel-Zaitsu Werger-Klein Elke
出版者
Japan Society of Medical History
雑誌
日本医史学雑誌 (ISSN:05493323)
巻号頁・発行日
vol.50, no.4, pp.463-492, 2004-09 (Released:2009-04-22)

本論文は宗田一が史上初の公式製薬伝習として紹介した寛文12年頃の薬油蒸留を取り上げながら、新しく見つかった史料に基づき、この欧日技術移転の経過及び背景を解明するものである。 カスパル流外科の写本や出島蘭館日誌などが示すように、初期紅毛流外科においては数々の薬油が適用されている。また慶安4年のカスパル・シャムベルゲルの離日後、オランダ東インド会社に対する医薬品の注文が著しく増え、その中で薬油は大きな比重を占めていた。高価な上に供給が不安定な薬品の輸入が問題視されたためか、幕府は寛文7年に両長崎奉行を通じ東インド会社に対し将軍及び老中の名において薬草の種や苗、また蒸留器一式及び薬草や蒸留技術に精通する専門家の派遣を求めた。 交易条件の改善を念頭に、オランダ東インド会社は寛文8年から薬草や薬草の種及び苗木を日本へ送ることを決定した。その翌年出島に派遣された若き薬剤師ゴットフリード(ホーデフリード)・ヘックは長崎周辺での薬草調査を行っているが、奉行の要請を受け寛文11年に出島へ派遣された経験豊富な薬剤師フランス・ブラウンの赴任によりヘックは更迭された。ブラウンとともにヨーロッパから取り寄せられた大型蒸留器がついに日本に上陸し、幕府の経費で出島の敷地内に「油取家」が建造された。翌年の春にブラウンが薬油の蒸留を開始し、その一部は献上品として江戸へ送られた。6名の阿蘭陀通詞がまとめた報告には、単純な蒸留法から7日間を要する複雑な樟脳油の製造方法の説明まで、また大型の釜、冷却装置、各種の容器など器物の図も見られる。 寛文11年5月にはブラウンの手を借りずに数名の日本人医師が出島の装置で丁子油などを蒸留できるようになり、それ以降もヨーロッパ人や日本人による蒸留に言及する記述が商館長日誌に見られることから、薬油蒸留の技術移転が成功したと言える。輸入薬草の国内栽培の試みは1670年代前半に失敗に終わったが、オランダ商館での薬油蒸留はしばらく続けられた。しかし第5代将軍綱吉が即位した直後、出島で製造した薬油ではなくバタビアからの薬油を献上品として求める通知が商館長に届いた。これにより蒸留装置を維持する会社の意欲は著しく低下したと思われる。元禄4年の商館日誌に、密貿易者の処刑が出島の「東端、皇帝の蒸留家の近く」で行われたという記述が見られるが、当時出島で勤務していた蘭館医ケンペルの資料には薬油製造に関するメモなどは全く見当たらないことから、出島の蒸留装置はもはや使用されていなかったことがうかがえる。 楢林鎮山、加福繕兵衛、嵐山甫安系の資料に残っている阿蘭陀通詞がまとめた報告は一連の写本及び版本を通じて19世紀まで受容された。蘭学の開花よりも遙かに早く行われたこの公式の技術移転は画期的な事であり、医療品に対する幕府の積極性を物語っている。
著者
Hun-Young YOON Dong-Wook SHIN Keum Soon IM Soon-Wuk JEONG
出版者
公益社団法人 日本獣医学会
雑誌
Journal of Veterinary Medical Science (ISSN:09167250)
巻号頁・発行日
pp.12-0285, (Released:2012-10-09)

We report here the clinical presentation and successful surgical management of synovial hemangioma accompanied by cruciate ligament injury in a dog. Surgical correction of cruciate ligament injury was performed after removing torn cruciate ligaments, synovial mass and masses attached to the ligaments and distal femoral articular cartilage. At 10 months, the dog has showed no evidence of recurrence in the stifle joint. Synovial hemangioma, although a seemingly rare cause of stifle joint pathology, should be considered in the differential diagnosis for cruciate ligament injury when a circumscribed intra-articular soft tissue mass is evident radiographically with cranial or caudal drawer motion. This is the first case report in a dog to describe synovial hemangioma accompanied by cruciate ligament injury.
著者
JEAN-JACQUES SANGLIER VALERIE QUESNIAUX THEODOR FEHR HANS HOFMANN MARION MAHNKE KLAUS MEMMERT WALTER SCHULER GERHARD ZENKE LILIANE GSCHWIND CLAUDINE MAURER WOLFGANG SCHILLING
出版者
JAPAN ANTIBIOTICS RESEARCH ASSOCIATION
雑誌
The Journal of Antibiotics (ISSN:00218820)
巻号頁・発行日
vol.52, no.5, pp.466-473, 1999-05-25 (Released:2008-09-19)
参考文献数
20
被引用文献数
52 112 105

A novel class of macrolides for which the name sanglifehrins is proposed, has been discovered from actinomycete strains based on their high affinity binding for cyclophilin A (CypA), an immunophilin originally identified as a cytosolic protein binding cyclosporin A (CsA). The sanglifehrins were produced by Streptomyces sp. A92-308110. They were isolated and purified by extraction and several chromatographic, activity-guided steps. Sanglifehrins A and B exhibit a 10-20 fold higher affinity for CypA than CsA, whereas the affinity of sanglifehrins C and D for CypA is comparable to that of CsA. Sanglifehrins exhibit a lower immunosuppressive activity than CsA when tested in the mixed lymphocyte reaction. Their in vitro activity indicates that they belong to a novel class of immunosuppressants.
著者
Singh Raksha Lee Mi-Ok Lee Jae-Eun Choi Jihyun Park Ji Hun Kim Eun Hye Yoo Ran Hee Cho Jung-Il Jeon Jong-Seong Rakwal Randeep Agrawal Ganesh Kumar Moon Jae Sun
出版者
American Society of Plant Physiologists
雑誌
Plant physiology (ISSN:00320889)
巻号頁・発行日
vol.160, no.1, pp.477-487, 2012-09

Mitogen-activated protein kinase (MAPK) cascades support the flow of extracellular signals to intracellular target molecules and ultimately drive a diverse array of physiological functions in cells, tissues, and organisms by interacting with other proteins. Yet, our knowledge of the global physical MAPK interactome in plants remains largely fragmented. Here, we utilized the yeast two-hybrid system and coimmunoprecipitation, pull-down, bimolecular fluorescence complementation, subcellular localization, and kinase assay experiments in the model crop rice (Oryza sativa) to systematically map what is to our knowledge the first plant MAPK-interacting proteins. We identified 80 nonredundant interacting protein pairs (74 nonredundant interactors) for rice MAPKs and elucidated the novel proteome-wide network of MAPK interactors. The established interactome contains four membrane-associated proteins, seven MAP2Ks (for MAPK kinase), four MAPKs, and 59 putative substrates, including 18 transcription factors. Several interactors were also validated by experimental approaches (in vivo and in vitro) and literature survey. Our results highlight the importance of OsMPK1, an ortholog of tobacco (Nicotiana benthamiana) salicyclic acid-induced protein kinase and Arabidopsis (Arabidopsis thaliana) AtMPK6, among the rice MAPKs, as it alone interacts with 41 unique proteins (51.2% of the mapped MAPK interaction network). Additionally, Gene Ontology classification of interacting proteins into 34 functional categories suggested MAPK participation in diverse physiological functions. Together, the results obtained essentially enhance our knowledge of the MAPK-interacting protein network and provide a valuable research resource for developing a nearly complete map of the rice MAPK interactome.