1 0 0 0 OA 証明支援系とモデル検査器を効果的に利用できる環境と方法論
- 著者
- 緒方 和博
- 雑誌
- 科学研究費補助金研究成果報告書
- 巻号頁・発行日
- pp.1-5, 2009-04-10
証明支援系とモデル検査器を効果的に利用できるよう、定理証明向きのシステム仕様をモデル検査向きのシステム仕様に自動変換する方法を考案した。変換により、モデル検査向きのシステム仕様が大きくなりすぎて効果的にモデル検査ができなくなることを防ぐための工夫を行った。提案した変換方法の有効性を確認するため、電子商取引プロトコルiKPとMondexの検証実験に適用した。また、変換を支援する変換ツールの拡張性の高い実装方法も提案した。この実装方法では、複数の変換規則をモジュラーに組み入れることを可能にする。
- 著者
- 征矢野 清 山田 英明 立野 深雪 笠原 昇 山内 晧平
- 出版者
- 北海道大学水産学部 = FACULTY OF FISHERIES, HOKKAIDO UNIVERSITY
- 雑誌
- 北海道大學水産學部研究彙報 (ISSN:00183458)
- 巻号頁・発行日
- vol.39, no.2, pp.86-95, 1988-05
1 0 0 0 OA 繊維強化複合材料の疲労における長期耐久性評価
1 0 0 0 OA 「メンデル家12人兄弟館の書」について(5)
- 著者
- 坂本 信太郎
- 出版者
- 早稲田商学同攻会
- 雑誌
- 早稲田商学=The Waseda commercial review (ISSN:03873404)
- 巻号頁・発行日
- vol.313号, pp.215-260, 1986-02
- 著者
- 石田 喜美
- 出版者
- 人文科教育学会
- 雑誌
- 人文科教育研究 (ISSN:09131434)
- 巻号頁・発行日
- no.33, pp.57-68, 2006-08-20
- 著者
- 若林 直樹 山下 勝 山田 仁一郎 中本 龍市 中里 裕美
- 出版者
- 京都大学大学院経済学研究科
- 雑誌
- 京都大学大学院経済学研究科Working Paper
- 巻号頁・発行日
- no.J-70, 2009-05-01
1 0 0 0 OA iPS cells: A source of cardiac regeneration
- 著者
- Yoshida Yoshinori Yamanaka Shinya
- 出版者
- Elsevier
- 雑誌
- Journal of Molecular and Cellular Cardiology (ISSN:00222828)
- 巻号頁・発行日
- vol.50, no.2, pp.327-332, 2011-02
- 被引用文献数
- 123
For the treatment of heart failure, a new strategy to improve cardiac function and inhibit cardiac remodeling needs to be established. Embryonic stem cells (ESCs) and induced pluripotent stem cells (iPSCs) are pluripotent cells that can differentiate into cell types from all three germ layers both in vitro and in vivo. The therapeutic effect of ES/iPS cell-derived progeny was reported in animal model. Mouse and human somatic cells can be reprogrammed to induced pluripotent stem cells (iPSCs) by the transduction of four transcription factors, Oct 3/4, Sox2, Klf4, and c-Myc. However, the low induction efficiency hinders the clinical application of iPS technology, and efforts have been made to improve the reprogramming efficiency. There are variations in the characteristics in ES/iPS cell lines, and the further understanding is necessary for the applications of ES/iPS cell technology. Some improvements were also made in the methods to induce cardiomyocytes from ES/iPS cells efficiently. This review article is focused on generation of iPS cells, cardiomyocyte differentiation from ES/iPS cells, and transplantation of derived cardiomyocytes.This article is part of a special issue entitled, "Cardiovascular Stem Cells Revisited".
1 0 0 0 OA 中小零細部門における阪神大震災の影響とその後の復興
- 著者
- 松繁 寿和 マツシゲ ヒサカズ Matsushige Hisakazu
- 出版者
- 大阪大学大学院国際公共政策研究科
- 雑誌
- 国際公共政策研究 (ISSN:13428101)
- 巻号頁・発行日
- vol.3, no.1, pp.13-29, 1998-10
1 0 0 0 OA LF・VLF帯における地震の前兆的電磁波ノイズを観測するための装置
- 著者
- 森谷 武男
- 出版者
- 北海道大学大学院理学研究科地球惑星科学専攻(地球物理学)
- 雑誌
- 北海道大学地球物理学研究報告 (ISSN:04393503)
- 巻号頁・発行日
- vol.60, pp.61-75, 1997-03-31
1 0 0 0 OA 資産格差の規定要因
- 著者
- 鹿又 伸夫
- 出版者
- 北海道大學文學部
- 雑誌
- 北海道大學文學部紀要 (ISSN:04376668)
- 巻号頁・発行日
- vol.47, no.2, pp.125-150, 1998-10-23
1 0 0 0 OA 研究速報 : 波浪ブイによる外洋波観測実験
- 著者
- 高橋 幸伯 小畑 和彦 杉田 洋一 小林 敬幸 中川 朝彦
- 出版者
- 東京大学生産技術研究所
- 雑誌
- 生産研究 (ISSN:0037105X)
- 巻号頁・発行日
- vol.36, no.8, pp.350-353, 1984-08-01
1 0 0 0 OA 広域災害における避難所運営訓練システム(STEP)の開発過程と効果検証
A Simulation Training system for Earthquake shelter Program (STEP) has been developed, and evaluated in terms of its effectiveness. Previous role-playing (ver.0.1) and panel-presentation (ver.0.2) versions were revised, and prototype ...
1 0 0 0 OA 西洋万国陸軍建置ノ原則及仏国陸軍建置並編成 [書写資料] / 仏・ジブスケ
刊行年不明
1 0 0 0 OA <報告>災害後の復興のあり方について
- 著者
- 室﨑 益輝 Yoshiteru Murosaki
- 雑誌
- 災害復興研究=Studies in Disaster Recovery and Revitalization (ISSN:18837530)
- 巻号頁・発行日
- no.1, pp.1-7, 2009-03-31
1 0 0 0 OA <論文>地震災害救済制度について
- 著者
- 山田 聰亮 Toshiaki Yamada
- 雑誌
- 災害復興研究=Studies in Disaster Recovery and Revitalization (ISSN:18837530)
- 巻号頁・発行日
- no.1, pp.77-95, 2009-03-31
1 0 0 0 OA 数学関係の論文、プレプリントに関する文献情報 : RIMS
- 出版者
- 京都大学数理解析研究所
- 巻号頁・発行日
- 1998
全国10大学(北大,東北大,東大,東京教育大,東京工業大,名大,京大,阪大,広大,九大)の数学教室で入手された数理科学関係の非公式出版物の受け入れリストを基に作成された文献情報。文献の主題範囲はPure Mathematics,計算機科学,情報科学など。資料形態はレクチャーノート,プレプリント,テクニカル・レポートおよびそれらのマイクロフィッシュ。収録年代:1872~1998。収録件数:52,507。データはEUC。
- 著者
- Nakamura Takashi Gunji Yukio-Pegio
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.885, pp.206-223, 1994-09
1 0 0 0 OA 企業家
- 著者
- ルーヨ ブレンターノ 加来 祥男 訳
- 出版者
- 北海道大学經濟學部 = HOKKAIDO UNIVERSITY SAPPORO,JAPAN
- 雑誌
- 經濟學研究 (ISSN:04516265)
- 巻号頁・発行日
- vol.44, no.4, pp.168-179, 1995-03
- 著者
- 小関 珠音 七丈 直弘 馬場 靖憲
- 出版者
- 研究・技術計画学会
- 雑誌
- 年次学術大会講演要旨集
- 巻号頁・発行日
- vol.22, pp.54-57, 2007-10-27
一般講演要旨
- 著者
- 竹中 章
- 出版者
- 北海道大学大学院農学研究科
- 雑誌
- 北海道大学農經論叢 (ISSN:03855961)
- 巻号頁・発行日
- vol.59, pp.159-173, 2003-03