著者
西澤 弘毅 木下 佳樹
出版者
日本ソフトウェア科学会
雑誌
日本ソフトウェア科学会大会講演論文集 日本ソフトウェア科学会第20回記念大会 (ISSN:13493515)
巻号頁・発行日
pp.51, 2003 (Released:2003-12-17)

Cousot らによる抽象解釈の理論において暗黙的に用いられている圏論的な構成をいくつか明示し,より広い応用のための基礎を与えることを試みる.
著者
井尻 憲一
出版者
公益社団法人 高分子学会
雑誌
高分子 (ISSN:04541138)
巻号頁・発行日
vol.49, no.8, pp.549-549, 2000-08-01 (Released:2011-10-14)
参考文献数
2
著者
日比 孝之
出版者
一般社団法人 日本数学会
雑誌
数学 (ISSN:0039470X)
巻号頁・発行日
vol.47, no.3, pp.256-268, 1995-07-28 (Released:2008-12-25)
参考文献数
28
著者
尾関 規
出版者
The Society of Resource Geology
雑誌
鉱山地質 (ISSN:00265209)
巻号頁・発行日
vol.11, no.45-46, pp.142-146, 1961-03-25 (Released:2009-06-12)
参考文献数
9

The Gojo Mine is located southeast of Koya-san. The ore deposits are bedded cupriferous pyritic ones and their host rocks belong to the undifferentiated Mesozoic group which consists of shale, sandstone and green rock.In the vicinity of the mine, black shale is alternated with green rock or chert, forming a complex zone. The distribution of mineralized zone is closely related to the micro-basin structure of the complex zone.
著者
大友 篤
出版者
THE TOHOKU GEOGRAPHICAL ASSOCIATION
雑誌
東北地理 (ISSN:03872777)
巻号頁・発行日
vol.25, no.4, pp.183-189, 1973 (Released:2010-04-30)
参考文献数
9
被引用文献数
2 1

There are many surveys of cities in the world on the regularity known as C. Clark's model of urban population densities indicating that population density varies with distance from the center of the city according to the equation Dx=D0e-bx where Dx is the population density at distance x from the center. D0 is the density at the center, e is the base of the natural logarithms, and b is a natural logarithm measuring the rate of change of density with distance. However, the survey of Japanese cities are rather few, hence applicability of this model was tested for fifteen Japanese cities, selected from the cities with population of more than 100, 000 located in the central part of Japan. Those are Tokyo, Ôsaka, Nagoya, Kyoto, Yokohama, Shizuoka, Wakayama, Gifu, Sakai, Utsunomiya, Chiba, Kofu, Toyohashi, Nara and Hachioji.The data used in this survey are those for 1965 based on the grid square comprising nearly one square kilometre made by Bureau of Statistics, Office of the Prime Minister.The principal facts observed in this survey are as follows.(1) This regularity is applicable for all of this cities except for Yokohama and Sakai those which are included in the contiguous urban built-up area of Tokyo and Osaka respectively.(2) The value of the density gradient, “b”, is highly associated with the population size of DID of the city, that is, it reduces according to the size of DID population. However, it seems to be affected duely by landforms surrounding the city.(3) Clark's model has better fitness in case of daytime population than in case of resident population in Tokyo.(4) Large variations of the values of “b” due to difference of directions from the center of the city are found not only in Tokyo but also in Ôsaka.From these observations it can be concluded that Clark's model is applicable for principal cities of Japan, and that other generalizations regarding this model which have been observed in other countries such as USA and UK may be drawn in Japan.
著者
玉木 輝幸 村上 健一 潮田 浩作
出版者
一般社団法人 日本鉄鋼協会
雑誌
鉄と鋼 (ISSN:00211575)
巻号頁・発行日
vol.101, no.3, pp.211-220, 2015 (Released:2015-02-28)
参考文献数
13
被引用文献数
1

A local curvature multi-vertex model was developed. This model is a straightforward two-dimensional topological network model based on physical principles that consider the local curvatures of grain boundaries and the grain boundary tensions at triple junctions. Virtual vertices are set on the grain boundaries in order to calculate the driving forces of grain boundary and triple junction migration. Therefore, the accuracy of the developed model is higher than that of the conventional curvature model and the vertex model. In the proposed model, the generation and annihilation of virtual vertices maintained a proper configuration of virtual vertices, and high accuracy is expected with a suitable set of simulation parameters. The proposed model was verified by the grain growth simulation using adequately determined parameters for the artificially generated specimens with 5040 grains.
著者
坂元 昂
出版者
一般社団法人 日本教育学会
雑誌
教育学研究 (ISSN:03873161)
巻号頁・発行日
vol.35, no.1, pp.47-60, 1968-03-30 (Released:2009-01-13)
参考文献数
37

1 0 0 0 OA 官報

著者
大蔵省印刷局 [編]
出版者
日本マイクロ写真
巻号頁・発行日
vol.1950年10月11日, 1950-10-11

1 0 0 0 OA 官報

著者
大蔵省印刷局 [編]
出版者
日本マイクロ写真
巻号頁・発行日
vol.1950年05月15日, 1950-05-15

1 0 0 0 OA 官報

著者
大蔵省印刷局 [編]
出版者
日本マイクロ写真
巻号頁・発行日
vol.1949年04月23日, 1949-04-23
著者
高杉信美著
出版者
高杉信美
巻号頁・発行日
2005
著者
嵯峨井 勝 ウィンシュイ ティンティン
出版者
日本衛生学会
雑誌
日本衛生学雑誌 (ISSN:00215082)
巻号頁・発行日
vol.70, no.2, pp.127-133, 2015 (Released:2015-05-21)
参考文献数
37
被引用文献数
1

Traffic-related air pollution is a major contributor to urban air pollution. Diesel exhaust (DE) is the most important component of near-road and urban air pollution and is commonly used as a surrogate model of air pollution in health effects studies. In particular, diesel exhaust particles (DEP) and the nanoparticles in DEP are considered hazardous components on health effects. It is widely known that exposure to DEP is associated with mortality due to respiratory and cardiovascular diseases. Recently, there has been accumulating evidence that DEP and the nanoparticles in DEP may be causes of neurodegenerative disorders. Here, we introduce the evidence suggesting their association with such disorders. First, we describe the chemical components and the translocation of DEP and nanoparticles to the brain, and then introduce the evidence and a mechanism by which reactive oxygen species (ROS) and any inflammatory mediators can be produced by DEP phagocytosis of macrophages, microglia and astrocyte cells in the brain. There are many lines of evidence showing that the neurodegenerative disorders are profoundly associated with enhanced oxidative and inflammatory events. Second, we describe a mechanism by which neurodegenerative diseases, such as stroke, Alzheimer’s disease and Parkinson’s disease, are induced via oxidative stress and inflammatory events.
著者
橋本 政宣
出版者
國學院大學綜合企画部
雑誌
國學院雜誌 (ISSN:02882051)
巻号頁・発行日
vol.67, no.4, pp.80-89, 1966-04