著者

尾西 明生 松木 正義 小林 直樹

出版者

The Society of Resource Geology

雑誌

鉱山地質 (ISSN:00265209)

巻号頁・発行日

vol.23, no.118, pp.119-136, 1973-05-25 (Released:2009-06-12)

参考文献数

19

---

The oldest rocks of the Hirase mine area are various gneissose and granitic rocks of the so-called Hida Complex. They crop out in the northeastern and southwestern parts of this area. The Jurassic to Cretaceous Tedori Formation overlies these rocks uncomformably in the southwestern part of this area. The Cretaceous Nohi Rhyolites Group is most extensively distributed in this area. It is composed of acidic welded tuffs intercalated with rhyolite lava, its tuff and tuff breccia, and mudstone.Granitic rocks, K-Ar ages of which are about 60 m.y., intrude the Nohi rhyolites. They crop out as several. stocks along the Sho-gawa (river) and are called "Shirakawa Granites." Fine-to medium-grained biotite granite and hornblende-biotite granodiorite are their major facies. The Shirakawa granitic rocks show contact aureoles in the surrounding Nohi rhyolites. Andalusite-bearing assemblage is seen around some of the plutons, such as Hatogaya and Hirase stocks. Dykes of quartz diorite porphyry, hornblende andesite, pyroxene andesite and basalt occur in these stocks mainly along fault zones.Metamorphic rocks of the Hida complex thrust up to the Nohi rhyolites along the Morimo tectonic line. It strikes north-northwest. A similar fault zone passing through the Mihoro dum reservoir is called "Mihoro tectonic line." There are many faults of NW-trend diversing from the Mihoro tectonic line, some of which cut throngh the Hirase granitic stock.There are many kinds of mineral deposits in the area, namely Cu-Pb-Zn veins in the Fcdori formation, Au-Ag quartz veins in the Nohi rhyolite, graphite deposits in the Hida complex and molybdenite-quartz veins in the Shirakawa stocks. Yet, only molybdenum deposits, those of the Hirase mine in particular, are productive. The Hirase mine is one of the most important molybdenite mines in Japan.The Hirase deposits are composed of 29 molybdenite-quartz veins. The veins strike N-S to NNE and dip steeply west. Productive veins occur in the marginal part of the Hirase stock. The granitic rocks of this part are very heterogeneous and become homogenous toward the interior. The veins also become poor or thin out in the interior.Molybdenite occurs along walls of quartz veins as fine-grained crystals or very coarse-grained cuhedral ones. The latter predominates in drusy parts of the quartz veins and accompanies coarse-grained calcite crystals in some places. Molybdenite seams occur in some parts of the altered Nohi rhyolites. Molybdenum grade of this ore is very low, 100 to 200 ppm, but the quantity is large. The amount of MoS2 in the altered rhyolites at Kitani (about 3 km north of the Hirase mine) is estimated about twice as much as the total historical production of the Hirase mine. Molybdenites in any mode of occurrence have been recognized in rocks between the Morimo and Mihoro tectonic lines.

著者

大谷 栄治 倉本 圭 今村 剛 寺田 直樹 渡部 重十 荒川 政彦 伊藤 孝士 圦本 尚義 渡部 潤一 木村 淳 高橋 幸弘 中島 健介 中本 泰史 三好 由純 小林 憲正 山岸 明彦 並木 則行 小林 直樹 出村 裕英 大槻 圭史

出版者

日本惑星科学会

雑誌

遊・星・人 : 日本惑星科学会誌 (ISSN:0918273X)

巻号頁・発行日

vol.20, no.4, pp.349-365, 2011-12-25

被引用文献数

1

---

「月惑星探査の来たる10年」検討では第一段階で5つのパネルの各分野に於ける第一級の科学について議論した.そのとりまとめを報告する.地球型惑星固体探査パネルでは,月惑星内部構造の解明,年代学・物質科学の展開による月惑星進化の解明,固体部分と結合した表層環境の変動性の解明,が挙げられた.地球型惑星大気・磁気圏探査パネルは複数学会に跨がる学際性を考慮して,提案内容に学会間で齟齬が生じないように現在も摺り合わせを進めている.本稿では主たる対象天体を火星にしぼって第一級の科学を論じる.小天体パネルでは始原的・より未分化な天体への段階的な探査と,発見段階から理解段階へ進むための同一小天体の再探査が提案された.木星型惑星・氷衛星・系外惑星パネルは広範な科学テーマの中から,木星の大気と磁気圏探査,氷衛星でのハビタブル環境の探査,系外惑星でも生命存在可能環境と生命兆候の発見について具体的な議論を行った.アストロバイオロジーパネルでは現実的な近未来の目標として火星生命探査を,長期的な目標として氷衛星・小天体生命探査を目指した観測装置開発が検討された.これらのまとめを元に「月惑星探査の来たる10年」検討は2011年7月より第二段階に移行し,ミッション提案・観測機器提案の応募を受け付けた.

著者

中村 強 林 直樹 吉原 大二 柳井 稔 川西 悟生

出版者

Japan Society of Nutrition and Food Science

雑誌

日本栄養・食糧学会誌 (ISSN:02873516)

巻号頁・発行日

vol.44, no.5, pp.377-383, 1991

被引用文献数

1 1

---

従来, 消化吸収障害モデルとして使用されてきた膵管結紮ラットは, 比較的短期の飼育でも膵臓が萎縮することが知られている。そこで, 本実験では膵機能は正常であるが消化吸収能が障害されたラット (MWラット) を栄養実験に使用することとし, このラットのモデルとしての有用性について検討するとともに, 中鎖脂肪酸トリグリセリド (MCT) を摂取させた場合の栄養状態に及ぼす影響について, サフラワー油 (LCT) を対照として比較検討した。<BR>その結果, LCTを摂取させたMWラットの脂肪および窒素の吸収率は, 健常ラットに比較して有意に低下し, とくに脂肪の吸収障害は顕著であった。また, MWラットは体タンパクの異化も亢進し, また低栄養状態下にあることが認められ, 術後の消化吸収障害モデルとして有用であった。<BR>一方, MWラットにMCTを摂取させた場合, LCTに比較し吸収性が顕著に優れていた。さらに, MCTは体タンパクの異化亢進を緩和させ, 栄養状態を改善させることが認められた。<BR>以上の結果から, 胆汁・膵液が欠損した消化管術後の消化吸収障害下にあっても, MCTは吸収性のみならず栄養学的にも十分な有効性を示し, 脂肪源素材としてきわめて有用であると判断された。

著者

佐藤 翔 井手 蘭子 太田 早紀 林 直樹 道浦 香奈 副田 沙織

出版者

情報知識学会

雑誌

情報知識学会誌 (ISSN:09171436)

巻号頁・発行日

vol.26, no.2, pp.195-200, 2016

被引用文献数

1

---

本研究では同志社大学の学生102名を対象に2015年に実施した質問紙調査の結果に基づき,日本の大学生のWikipediaに対する信憑性認知や,学習におけるWikipediaの利用実態を明らかにするとともに,どのような要因が信憑性認知や学習における利用に影響を与えるかを検証する.分析の結果,回答者はWikipediaをどちらかと言えば信憑性のあるものと考えており,レポート作成等にも用いているが,参考文献には挙げない傾向があること等がわかった.

著者

小林 直樹 岡本 康

出版者

公益社団法人 日本薬学会

雑誌

ファルマシア (ISSN:00148601)

巻号頁・発行日

vol.39, no.8, pp.769-773, 2003

参考文献数

15

著者

林 直樹 高橋 強

出版者

農村計画学会

雑誌

農村計画論文集 (ISSN:09129731)

巻号頁・発行日

vol.1, pp.139-144, 1999-11-20

被引用文献数

4

著者

林 直樹 高橋 強

出版者

農村計画学会

雑誌

農村計画学会誌 = Journal of Rural Planning Association (ISSN:09129731)

巻号頁・発行日

vol.18, pp.139-144, 1999-11-20

参考文献数

5

被引用文献数

4

著者

小林 直樹 篠原 歩 佐藤 亮介 五十嵐 淳 海野 広志

出版者

東京大学

雑誌

基盤研究(S)

巻号頁・発行日

2015-05-29

---

本課題では、高階モデル検査の(1)理論的基盤の強化とそれに基づく高階モデル検査アルゴリズムの改良、(2)プログラム検証への応用、(3)高階モデル検査の拡張とそのプログラム検証への応用、(4)データ圧縮への応用、の4つを柱に研究を進めている。以下、それぞれの項目について、平成28年度(およびその繰越として遂行した平成29年度の一部の結果)について述べる。(1)理論的基盤の強化:HORSモデル検査とHFLモデル検査という2種類の高階モデル検査の間に相互変換が存在することを示すとともに、HFLモデル検査問題を型推論問題に帰着できることを示した。後者の結果に基づき、HFLモデル検査器のプロトタイプを作成した。また、高階文法の性質について調べ、語を生成するオーダーnの文法と木文法を生成するオーダーn-1の文法と間の対応関係を示した。さらに、高階モデル検査アルゴリズムの改良を行い、値呼びプログラムに対して直接的に高階モデル検査を適用する手法を考案、実装した。(2)プログラム検証への応用:プログラム検証で扱える対象プログラムや性質の拡充を行い、関数型プログラムの公平非停止性の検証、コード生成プログラムの検証、動的なスレッド生成を伴う高階並列プログラムの検証、などを可能にした。(3)拡張高階モデル検査:HORSに再帰型を加えて拡張したμHORSに対するモデル検査アルゴリズムの改良を行い、その有効性をJavaプログラムの検証を通して示した。(4)データ圧縮への応用:データをそれを生成する関数型プログラムの形に圧縮する方式(高階圧縮)について、圧縮後のプログラムをビット列に変換する部分の改良を行った。また、高階圧縮のための様々な要素技術について研究を進めた。

著者

塚田 武志 小林 直樹

出版者

情報処理学会

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.4, no.2, pp.31-47, 2011-03-25

---

言語の包含判定問題とは,与えられた言語 L1 と L2 について L1 ⊆ L2 が成立するか否かを判定する問題であり,理論的な興味の対象であるだけでなく,プログラム検証などへの広い応用を持つ重要な問題である.この問題に関する既知の最も強い結果の 1 つが文脈自由言語と超決定性言語の包含判定の決定可能性である.このオリジナルの証明は,Greibach と Friedman によって与えられている.我々はこの問題に対して,小林らによって提案されている型に基づく言語の包含判定の手法を適用し,決定可能性に対する別証明を与えた.この手法は以下のような利点を持つ.(1) 部分型関係やポンプの補題などのよく知られた概念で理論が展開できる.(2) 型推論を効率的に行う方法は多数提案されており,それらを利用することができる.また,提案する証明は小林らのアイデアを正規言語よりも広いクラスに適用したはじめての例であり,その他の非正規言語クラスへの応用も期待される.The language containment problem, which asks whether L1 ⊆ L2 for given languages L1 and L2, is an important problem in the field of formal language theory and has a variety of applications including program verification. One of the strongest result about this problem is the decidability for the case where L1 and L2 are context free and superdeterministic languages respectively, originally proved by Greibach and Friedman. In this paper, we give a new proof of the decidability, inspired by Kobayashi's type-based approach to language containment problems. The new proof has the following advantages. (1) The key notions and lemmas in the proof are well-known ones, such as subtyping and Pumping Lemma. (2) We can apply well-studied techniques for efficient typability checking. Furthermore, our proof is the first application of the type-based approach to the inclusion between non-regular languages and it seems applicable to other cases.

著者

岡田 光弘 小林 直樹 照井 一成 田村 直之

出版者

慶應義塾大学

雑誌

基盤研究(B)

巻号頁・発行日

2003

---

次の3点を中心に研究を進めた。1.証明論と意味論の統合的見方について研究を進めた。カット消去定理等の証明論の基本定理の成立条件がPhase semanticsによる意味論的分析により明らかになることを示した。又、Simple logic等の線形論理の基礎理論に対して、証明論と意味論の統合を進めた。さらに、直観主義論理Phase semanticsと古典論理Phase semanticsとの密接な関係を明らかにした。Phase semanticsの成果に基づいてカット消去定理の意味論的条件の研究を進めた。2.Reduction Paradigmによる計算モデルとProof-Search Paradigmによる計算モデルを統一的に分析できる論理的枠組の確立に向けた研究を進めた。ゲーム論的意味論等の観点からの分析も加えた。(岡田・Girard等フランスグループとの共同研究)これまでのReduction Paradigm(関数型言語の論理計算モデル)とProof-Search Paradigm(論理型言語や証明構成の計算モデル)の内的な統合を可能にするLudics等の新たな論理体系理論の分析をGirardグループらと共同で行なった。3.線形論理的概念がプログラミング言語理論やソフトウェア形式仕様・検証理論、計算量理論等にどのように応用され得るかのケーススタディーを行なった。例えば昨年に引き続き、ダイナミック実時間システムのシステマティックな設計・検証や認証プロトコル安全性証明等を例にとり、線形論理的観点や手法の応用可能性を示した。この目的でフランス及び米国共同研究グループとの共同研究を行なうとともに、計3回の成果報告会を日仏共同で行った。

著者

荒木 領 小林 直樹 大野 光平 伊丹 誠

出版者

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

雑誌

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

巻号頁・発行日

vol.36, no.10, pp.41-44, 2012-02-17

被引用文献数

1

---

ワンセグメントサービスは,日本における地上波デジタル放送の移動体向けのサービスである.しかし,使用帯域の狭さからマルチパスによるディップの影響を受けやすくなり,受信特性の劣化する可能性がある.この対策として,アンテナダイバーシティ技術がある.しかし,携帯電話などの小型のワンセグ受信機では,端末内に複数のアンテナを十分なダイバーシティ利得が得られるほど離して配置するのは不可能である.そこで,本稿では3台の受信端末を用いて受信情報を共有する協調受信を提案する.提案方式では,協調受信に用いる受信端末の台数を増やすことでワンセグメントサービスの誤り率特性が改善できることを示す.

著者

松村 千鶴 雨宮 加奈 雨宮 さよ子 雨宮 昌子 雨宮 良樹 板垣 智之 市野沢 功 伊藤 拓馬 植原 彰 内野 陽一 大川 清人 大谷 雅人 角谷 拓 掃部 康宏 神戸 裕哉 北本 尚子 國武 陽子 久保川 恵里 小林 直樹 小林 美珠 斎藤 博 佐藤 友香 佐野 耕太 佐野 正昭 柴山 裕子 鈴木 としえ 辻沢 央 中 裕介 西口 有紀 服巻 洋介 吉屋 利雄 古屋 ナミ子 本城 正憲 牧野 崇司 松田 喬 松本 雅道 三村 直子 山田 修 山田 知佳 山田 三貴 山田 祥弘 山田 玲子 柚木 秀雄 若月 和道 鷲谷 いづみ

出版者

日本生態学会

雑誌

保全生態学研究 (ISSN:13424327)

巻号頁・発行日

vol.8, no.2, pp.175-180, 2003-12-30

被引用文献数

2

---

Flower visitations by both native and exotic bumblebee species were investigated at 21 monitoring sites in various regions of Japan in the spring and summer of 2002. The investigation was part of a long-term program that has been in progress since 1997 to monitor the invasion of an alien bumblebee, Bombus terrestris L. (Hymenoptera: Apidae). Flower visitation by B. terrestris was ascertained at two monitoring sites, one in Shizuoka and one in Hokkaido, where a large number of colonies of this species have been commercially introduced for agricultural pollination.

著者

林 直樹

出版者

流通経済大学

雑誌

流通経済大学スポーツ健康科学部紀要 (ISSN:18829759)

巻号頁・発行日

vol.1, pp.123-129, 2008-03

被引用文献数

2

---

近年,コンピュータを用いた動作分析やゲーム分析が多くの競技で導入され,戦術構成やフォーム矯正に役立っている。バドミントン競技においても,ゲーム分析の有効性を探し求め,競技の中で有効な戦術構築の手段を得ることを目的とした。大学のリーグ戦において,(1)配球,(2)エース・エラーという観点で分析を行い,得られたデータを選手に伝達し試合にのぞんだ。全体の勝敗は昨年と比べ,10勝12敗から16勝14敗と向上した。対戦組合せや選手の競技力向上は大きな要因であるが,分析をし,作戦をたてて試合にのぞむことは,試合前の姿勢としてはとても有効であると考えられる。そして,よりリアルタイムな情報が有効になる。しかし,バドミントン競技においては,シャトルのスピードが速く,リアルタイムな分析は適さず,観察に依るところが大きくなってしまっているのが現状である。リアルタイムな情報を獲得する為には,組織的に分析を行っていることが必要であると思われる。バレーボール競技では定着している「アナリスト」の存在が必要不可欠となるであろう。

著者

羽生 宏人 和田 英一 丹羽 崇博 近藤 靖雄 川村 尚史 丸山 信也 岡村 彩乃 山科 早英良 永井 康仁 中道 達也 上道 茜 田中 成明 小林 直樹 笠原 次郎 森田 泰弘

出版者

THE JAPAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES

雑誌

航空宇宙技術 (ISSN:18840477)

巻号頁・発行日

vol.9, pp.15-21, 2010

被引用文献数

1

---

The educational hybrid-rocket was successfully launched and it also landed within the predicted area. Aerodynamic characteristics of the rocket designed by students of Tsukuba University were evaluated by the wind tunnel testing with the support of Tokai University. The flight path affected by the environmental condition, especially wind direction and velocity, was simulated with the original calculation program. The altitude of the rocket was measured with the optical equipment and the apex was 123 m although the calculation indicated 198 m. We expected that the insufficient filling or the volatilization of Nitrous oxide as an oxidizer led to this result. And then, the apex was verified with a function of the oxidizer filling ratio. The results showed that 81.2 % of the oxidizer volume in comparison with the firing test condition was accumulated in the tank at the launch.

著者

山田 仁一郎 山下 勝 若林 直樹

出版者

白桃書房

雑誌

組織科学 (ISSN:02869713)

巻号頁・発行日

vol.40, no.3, pp.41-54, 2007

著者

小林 直樹

雑誌

文学史研究 (ISSN:03899772)

巻号頁・発行日

vol.47, pp.114-128, 2007

著者

秦東寺 久美 石橋 聡 小林 直樹

出版者

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

雑誌

電子情報通信学会論文誌. D-II, 情報・システム, II-パターン処理 (ISSN:09151923)

巻号頁・発行日

vol.82, no.6, pp.1018-1030, 1999-06-25

被引用文献数

20

---

次世代動画像圧縮の標準であるMPEG-4では, 新たにVOP (Video Object Plane)という概念を取り入れ, 背景や物体等のビデオオブジェクトごとに符号化することが可能である. 特に動画像中の各々のフレームに共通な領域の動きが一組の平面の動きモデルで表されるとき, スプライトと呼ばれる平面オブジェクトを生成することが可能である. すなわち, 背景画像に代表されるような動画像中の複数フレームにわたる領域を1枚の静止画であるスプライトから再構成できる. スプライトを使用すると符号化効率の大幅な改善が期待できるため, スプライト生成技術に関する期待は大きい. 本論文では, ビデオクリップを撮影したときのカメラモーションに着目し, (1)7種類のカメラモーションと平行移動動きベクトルの関係を定式化し, (2)カメラモーションを反映した大局的な動きを算出するアルゴリズムを提案, (3)大局的な動きを用いてスプライトを自動生成するアルゴリズムを提案した. また, 複数の実画像を用いて実験を行った結果, 撮影時のカメラモーションを良好に抽出でき, これを用いてスプライトを自動生成することができた.

著者

鈴木 康夫 酒井 克彦 忠政 明彦 小林 直樹

出版者

一般社団法人日本機械学会

雑誌

生産加工・工作機械部門講演会 : 生産と加工に関する学術講演会

巻号頁・発行日

vol.2001, no.3, pp.59-60, 2001-11-20

被引用文献数

1

---

The purpose of this paper is to investigate the potential application of the cutting in the nitrogen atmosphere. In order to clarify the effects of the nitrogen atmosphere, cutting tests were carried out on plain carbon steel S45C with carbide tool. Cutting tests were conducted in the sealed chamber of which the atmosphere was changeable. Nitrogen, argon, carbon dioxide gases and air were used as the atmosphere.

著者

小林 直樹 田村 俊世 湊 小太郎

出版者

公益社団法人 日本生体医工学会

雑誌

生体医工学 (ISSN:1347443X)

巻号頁・発行日

vol.51, no.1, pp.31-37, 2013-02-10 (Released:2013-09-10)

参考文献数

8

---

In the principle model of pulse oximetry, the measured absorbance change occurs by a thickness change of the arterial blood. However, we cannot explain the absorbance change of the tissue only by thickness change of the arterial blood when we consider these three phenomena of circulatory dynamics:1) arterial blood flows into the tissue as pulsatile flow, 2) Oxygen saturation decreases by oxygen consumption in the tissue, and 3) venous blood flows out from the tissue. In this study, we made a new electrical model of pulse oximetry and examined the mechanism of the absorbance change when the height of the hand is changed. We measured absorbance ratio and SpO2 at three vertical hand positions, 1) on the table (middle), 2) rise over the head (up), 3) lowered (down), with six healthy volunteers. The absorbance ratios increased in the lowered hand position and there was an error to underestimate SpO2. The mean ± SD of SpO2 in the 6 subject at the middle, up, and down positions were 98.0 ± 1.28, 98.4 ± 0.84, 96.3 ± 1.69(%), respectively. We simulated pulse oximetry using our new electrical model, and we were able to express a mechanism to increase the absorbance ratio at the lowered hand position.

著者

小林 直樹 濱田 雅美

出版者

公益社団法人 日本生体医工学会

雑誌

生体医工学 (ISSN:1347443X)

巻号頁・発行日

vol.51, no.1, pp.17-23, 2013-02-10 (Released:2013-09-10)

参考文献数

13

---

Visual induced motion sickness (VIMS) due to real videos (passive videos) has been well evaluated by using a set of RR intervals (RRI) on electrocardiograms (ECG). However, in case of the estimation of VIMS for interactive videos suchas video games, it is difficult to obtain a stable VIMS index by using only RRI because of several modulation factors by respiration and personal errors among individual operations. For the evaluation of VIMS on interactive videos we propose VIMS quantification indices that use principal component analysis (PCA) of two time-variant biosignals, RRI and respiration signal (RESP), respectively. As VIMS indices we introduced frequency components of a score (rr) and a score (resp), which are time-variant scores resulting from PCA of the biosignals. The experimental results were estimated by regression analysis between the proposed indices and simulator sickness questionnaire (SSQ) or global motion vectors (GMVs) of videos. The experimental results show that a positive correlation is shown between the index of the score (rr) frequency analysis and SSQ for both passive and interactive videos. Because there are no significant difference between the indices for interactive video and for passive videos, the index does not influence operation factors, and reflects biomedical influence caused by video features such as GMVs. This means that the index calculated by score (rr) is effective for quantifying the VIMS caused by video factors, even though the dispersion of the index caused by the subject's individuality is not sufficiently small. This index also influenced the individuality of the subject's game habituation. On the other hand, there is little correlation between the index of the score (resp) frequency analysis and SSQ for each type of video. As a dependency of the operation and personal errors might be included in this index, we need to study more detail about this component.