著者

青木 茂男

出版者

日本貝類学会

雑誌

ちりぼたん (ISSN:05779316)

巻号頁・発行日

vol.3, no.6, 1965-06-01

著者

山口 惠三 大野 章 石井 良和 舘田 一博 岩田 守弘 神田 誠 秋沢 宏次 清水 力 今 信一郎 中村 克司 松田 啓子 富永 眞琴 中川 卓夫 杉田 暁大 伊藤 辰美 加藤 純 諏訪部 章 山端 久美子 川村 千鶴子 田代 博美 堀内 弘子 方山 揚誠 保嶋 実 三木 誠 林 雅人 大久保 俊治 豊嶋 俊光 賀来 満夫 関根 今生 塩谷 譲司 堀内 啓 田澤 庸子 米山 彰子 熊坂 一成 小池 和彦 近藤 成美 三澤 成毅 村田 満 小林 芳夫 岡本 英行 山崎 堅一郎 岡田 基 春木 宏介 菅野 治重 相原 雅典 前崎 繁文 橋北 義一 宮島 栄治 住友 みどり 齋藤 武文 山根 伸夫 川島 千恵子 秋山 隆寿 家入 蒼生夫 山本 芳尚 岡本 友紀 谷口 信行 尾崎 由基男 内田 幹 村上 正巳 犬塚 和久 権田 秀雄 山口 育男 藤本 佳則 入山 純司 浅野 裕子 源馬 均 前川 真人 吉村 平 中谷 中 馬場 尚志 一山 智 藤田 信一 岡部 英俊 茂籠 邦彦 重田 雅代 吉田 治義 山下 政宣 飛田 征男 田窪 孝行 日下部 正 正木 浩哉 平城 均 中矢 秀雄 河原 邦光 佐野 麗子 松尾 収二 河野 久 湯月 洋介 池田 紀男 井戸向 昌哉 相馬 正幸 山本 剛 木下 承皓 河野 誠司 岡 三喜男 草野 展周 桑原 正雄 岡崎 俊朗 藤原 弘光 太田 博美 長井 篤 藤田 準 根ヶ山 清 杉浦 哲朗 上岡 樹生 村瀬 光春 山根 誠久 仲宗根 勇 岡山 昭彦 青木 洋介 草場 耕二 中島 由佳里 宮之原 弘晃 平松 和史 犀川 哲典 柳原 克紀 松田 淳一 河野 茂 康 東天 小野 順子 真柴 晃一

出版者

日本抗生物質学術協議会

雑誌

The Japanese journal of antibiotics (ISSN:03682781)

巻号頁・発行日

vol.62, no.4, pp.346-370, 2009-08-25

被引用文献数

26

著者

青木 寛 宮本 正之 坂岸 良克

出版者

日本体力医学会

雑誌

体力科學 (ISSN:0039906X)

巻号頁・発行日

vol.5, no.2, pp.51-55, 1955-07-01

著者

鑰山 航 青木 士門 吉田 勝弘

出版者

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

雑誌

電子情報通信学会総合大会講演論文集

巻号頁・発行日

vol.2008, no.1, 2008-03-05

著者

高橋 誠司 青木 祥宏

出版者

社団法人溶接学会

雑誌

溶接学会誌 (ISSN:00214787)

巻号頁・発行日

vol.70, no.5, pp.568-569, 2001-07-05

著者

青木 晃

出版者

帝塚山大学

雑誌

帝塚山短期大学紀要 (ISSN:02865076)

巻号頁・発行日

vol.11, pp.20-26, 1974-03

著者

谷口 智子 青木 千津 吉田 義弘 大路 斐子 松江 陽一 宗 晶子 片桐 由起子 田中 政信 森田 峰人 斎藤 敬子 与田 仁志

出版者

一般社団法人 日本女性心身医学会

雑誌

女性心身医学

巻号頁・発行日

vol.16, no.1, 2011

著者

青木 翼 長谷川 哲夫 宮本 博暢 渡邊 竜明

出版者

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

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2008, no.29, pp.203-210, 2008-03-18

被引用文献数

1

---

モデル検査によりソフトウェア設計の品質を向上させることが注目されている.一方,モデル検査を開発に適用するノウハウはまだ不足している.本論文ではモデル検査をソフトウェア開発に適用させるためのガイドラインについて報告をする.このガイドラインではモデル検査を実施する目的と効果,モデル検査が適用できる箇所,モデルや検証式を作成する手順,モデルや検証式の記述テクニックの4点について説明を行っている.While improvement of the quality of software design using model checking is required, the current know-how pertaining to the application of model checking is insufficient. This paper describes the guideline for model checking in UPPAAL, which consists of 4 sections explaining the objectives and outcomes of model checking, target documentation, process, techniques of models and verification expressions building.

著者

青木 洋子 山本 尚樹

出版者

東京大学大学院教育学研究科附属学校教育高度化センター

雑誌

「学校における新たなカリキュラムの形成」研究プロジェクト平成23年度報告書

巻号頁・発行日

pp.141-157, 2012-03

著者

迫田 義博 青木 博史

出版者

北海道大学

雑誌

基盤研究(B)

巻号頁・発行日

2007

---

豚コレラウイルスの病原性発揮に関与すると考えられている自然免疫回避機構を分子レベルで解明することを目的とし、ウイルス非構造蛋白N^<pro>の点変異体や欠損体を作製し、1型IFNの産生抑制に必須なアミノ酸領域を決定した。このアミノ酸の変異は、(1)C112R、(2)D136N、(3)H5Y、L8F、P17Sのいずれかであることがわかった。また、この自然免疫の調節に関与するN^<pro>上のアミノ酸の変異は、豚における病原性発揮の要因の1つであることを明らかにした。

著者

上野 陽里 青木 達 栗原 紀夫 山本 啓一

出版者

京都大学

雑誌

核融合特別研究

巻号頁・発行日

1987

---

核融合研究が発展し試験炉が運転を始めると大量のトリチウムが環境に放出される恐れがある. 環境中のトリチウムが増加すると種々の経路を通じて体内に侵入したトリチウムにより放射線被爆の可能性が増加する. したがって現在の日本人体内のトリチウム量を測定し, 基準値となるバックグラウンド値を明らかにしておくことは今後の増加を知り, 環境のリスク評価を行う上で重要である. 日本人の体内自由水トリチウムについては現在まで今年度の9例を加えて29例の測定を行っており, 組織結合型トリチウムについても測定を始め数例の結果を得た. 材料は法医解剖をうけた生前は健康と思われた遺体から得た. 各組織は真空凍結乾燥法により72時間かけて捕集した. 捕集して得た自由水は従来からのアロカ製低バックグラウンド液体シンチレーション計数値LSCーLB1と, 今回本科学研究費で入手したパッカード製液体シニチレーションアナライザTRIーCARB1550を用いて測定を行った. 組織結合水については, 燃焼後の水を捕集して測定した. 全試料数は86個でその平均は105pCi/lであった. 個体間のばらつきは52pCi/lから210pCi/lの間にあった. 各組織の平均は脳で71pCi/l, 肺で88pCi/l, 肝で87pCi/l, 腎で162pCi/l, 筋で69pCi/l, 脾で102pCi/lであった. 組織結合水では肝で750pCi/l, 筋で600pCi/l, 蒸溜水で320pCi/lと大きい値を示した. この理由は不明であるが, 恐らくスペクトルがトリチウムに類似した有機物質の疑計数であろうと思われる. 今後この分析を行うと共に例数も増加させていく予定である. 試料は目下蓄積中である.

著者

青木 孝平

出版者

鈴鹿医療科学大学

雑誌

鈴鹿医療科学技術大学紀要 (ISSN:13416472)

巻号頁・発行日

vol.3, pp.151-165, 1996-03-30

---

What is "Modern land-ownership"? This problem has been disputed respectively in science of low, political economy and historical science since J. Lock and A. Smith's classical theories. For example, Takeyoshi Kawashima in Japan insists that to be bought and sold as commodity marks land-ownership in the civil revolution period. He also says it has absolute, ideal and private characters. On the other hand, Hiroshi Mizumoto and Yozo Watanabe insist that tenant-right is predominant over land-ownership in the industrial revolution period. They also say that the characteristics of modern land-ownership are to recognize the freedom to transfer and sublease tenant-right, to guarantee a long term of tenancy, and to repay the cost that a tenant spent to improve the land. The prototypes of these two land-ownership theories can be found in Karl Marx's texts. Marx in Capital Vol.3 estimated land-ownership as a permanent foundation of capitalist society. While Marx in Theory of Surplus Value considered land-ownership as a needless cancer in capitalist society. Therefore we attempt an analysis of the significance and defects of Marx's texts. and investigate the position that land-ownership takes in modern capitalist society.

著者

青木 孝平

出版者

鈴鹿医療科学大学

雑誌

鈴鹿医療科学技術大学紀要 (ISSN:13416472)

巻号頁・発行日

vol.4, pp.3-18, 1997-03-30

---

We investigated critically the controversy about the so-called modern land-ownership in the last Research Reports N0.3,1996. The purpose of this following paper is to present our own positive theory about the relation between ownership and tenantship. Market economy and capital as the circulated form can't institute ownership on the land, while capitalist market economy requires the fact that the land is in the possession of someone else. And capitalist society which is a complete reproduction system transforms "possession" of the land as a fact into "property" agreed as a right. That is to say, firstly the ownership is recognized in turn from an excellent land to an inferior land by payment of the differential ground rent I, secondly the ownership on the most inferior land is recognized by payment of the differential ground rent II, and thirdly the ownership on all the land including that which nobody has cultivated yet is established by payment of the absolute rent. As a result, the land-ownership is given its own price, and has absolute, ideal and private characters like other commodities. Next, we present a theory about the jurisprudential structure of tenantship. In the capitalist agriculture, to guarantee a long term and to restrict cancelation of the contract are not necessarily the same as to protect tenantship. The cost a tenant spent to improve the land is not necessarily repaid by the owner. On the contrary, to transfer or sublease tenantship is the same as to set up the second-ownership on the land. Therefore we can conclude as follows : In modern capitalist society, tenantship doesn't change into a real right. It remains in the position subordinate to the land-ownership as a personal right.

著者

青木 義次 大佛 俊泰 佐々木 斉 広木 晃 菅野 元衛

出版者

一般社団法人日本建築学会

雑誌

学術講演梗概集. E, 建築計画, 農村計画 (ISSN:09150153)

巻号頁・発行日

vol.1989, pp.745-746, 1989-09-01

著者

青木 翔平 赤石 美奈 堀 浩一

出版者

人工知能学会

雑誌

人工知能学会全国大会論文集 (ISSN:13479881)

巻号頁・発行日

vol.26, 2012

---

本研究では適正技術の設計および製作支援を目的としたUPCプラットフォームという枠組みを提案する。さらに、実際に適正技術の製作を進める上で重要となる非体系的な知識の取り扱いに焦点をおき、支援システムについて考察する。

著者

青木恒三郎 編

出版者

青木嵩山堂

巻号頁・発行日

1890

著者

青木 毅

出版者

広島大学国語国文学会

雑誌

国文学攷 (ISSN:02873362)

巻号頁・発行日

no.213, pp.1-13, 2012-03

著者

古澤 明 青木 隆朗

出版者

東京大学

雑誌

基盤研究(B)

巻号頁・発行日

2006

---

本研究では、高レベルスクイーズド光の生成とそれによる高レベル量子エンタングルメントの生成、測定およびフィードフォワードを用いたユニバーサルスクイーザー、量子非破壊測定(量子非破壊相互作用)の実現を目的としている。具体的な研究成果は以下のようなものである。(1)周期分極反転KTiOPO_4(PPKTP)疑似位相整合結晶を非線形媒体とした光パラメトリック発振器(OPO)を作製し、高レベルスクイーズド光の生成に成功した。まず、波長946nmにてその可能性を明らかにした。その結果に基づき、高いポンプパワーを期待できる波長860nmで実験を行い、14年ぶりに世界記録を塗り替え7dBのスクイーズを達成した。さらに、測定系の位相揺らぎを抑えることにより、9dBのスクイーズを達成した。これらの成果により、生成できる量子エンタングルメントのレベルは格段に高まった。(2)測定およびフィードフォワードの手法の代表例は、量子テレポーテーションと呼ばれる波動関数の伝送であり、そのフィデリティはこの手法の成功の度合いを示す(フィデリティ1=100%成功)。したがって、本研究で生成に成功した高レベルスクイーズド光を用い、量子テレポーテーションのフィデリティを測定してみた。その結果0.83という高い値が得られ、この高レベルスクイーズド光を用いれば、測定およびフィードフォワードの手法を高い確率で成功させられることが明らかとなった。(3)高レベルスクイーズド光を用いて生成した高レベル量子エンタングルメントと併せて、測定およびフィードフォワードの手法を用いることにより、ユニバーサルスクイーザーを作製することに成功した。(4)ユニバーサルスクイーザー2台を作製し、これらをさらに可変ビームスプリッターを用いて結合することにより、量子非破壊相互作用装置を作製した。これを用いて、2つの共役な変数(直交位相振幅成分)に於いて量子非破壊測定を行った。これらは、いずれの場合に於いても成功した。また、この結果から、この量子非破壊相互作用装置の2つの出力はエンタングルしていることが明らかになり、量子ビットの制御NOTゲートと同様に、エンタングリングゲートとしての働きがあることがわかった。

著者

青木 工太 長橋 宏

出版者

The Institute of Image Electronics Engineers of Japan

雑誌

画像電子学会誌 = Imaging & Visual Computing The Journal of the Institute of Image Electronics Engineers of Japan (ISSN:02859831)

巻号頁・発行日

vol.35, no.4, pp.286-295, 2006-07-25

---

画像分割は画素の分類問題と解釈できる.分類は画素ごとにラベルを割り当て,帰属すべきクラス(部分領域)を指示す ることで達成される.分割ラベルの推定とともに,最適なモデルパラメータを決定することは容易ではない.本稿で提案するモデルはパラメータの事前分布に対して,データに関する 「最小限」の仮定を反映するような階層構造を導入することにより,情報が不 十分である状況において有効であると考えられる.観測された画像の下で,ギブスサンプリングにおけるマルコフ連鎖は分割ラベ ルおよび,パラメータに対する同時事後分布を効率的に探索する.この連鎖をシミュレートして得られる標本列を用いてベイズの定理に基づく推定を行う.また,人間が領域分割を行ってラベリングした画像データベースと比較することによって,アルゴリズムによる分割結果の定量的な評価を試みる.

著者

山腰諒一 青木 工太 長橋 宏

雑誌

情報処理学会研究報告グラフィクスとCAD(CG)

巻号頁・発行日

vol.2007, no.13(2007-CG-126), pp.1-6, 2007-02-19

---

本稿では、CGアニメーションなどに用いられるモーションキャプチャのデータからユーザが意図するような新たな動作を生成するシステムの提案について述べる。提案手法では、確率モデルを基本とした、Gaussian Process Latent Variable Models (GPLVM) を用いて、高次元空間の複数の動作データを同時に低次元化する。さらにユーザが低次元空間で高次元の姿勢を直感的に理解するために、基本姿勢との差や姿勢の位置などを低次元空間で視覚化する。それらを用いてユーザが意図する情報を対話的に与えることにより、所望の動作を生成する。