大地から生まれた自然農法の極意。米麦・野菜・果樹、あらゆる農の実践を縦横無尽に説く。「無」三部作実践篇。.

This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic treatment of Humberstone (J Philos Log 8:171–196, 1979) and del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996), a sequent calculus $$\textsf{G}(\textbf{C}+\textbf{J})$$ is proposed. An approximate idea of obtaining $$\textsf{G}(\textbf{C}+\textbf{J})$$ is adding rules for classical implication on top of the intuitionistic multi-succedent sequent calculus by Maehara (Nagoya Math J 7:45–64, 1954). However, in the semantic treatment, some formulas do not (...) satisfy heredity, which leads to the necessity of a restriction on the right rule for intuitionistic implication to keep the soundness of the calculus. The calculus $$\textsf{G}(\textbf{C}+\textbf{J})$$ enjoys cut elimination and Craig interpolation, whose detailed proofs are described in this paper. Cut elimination enables us to show the decidability of this combination both directly and syntactically. This paper also employs a canonical model argument to establish the strong completeness of Hilbert system $$\mathbf {C+J}$$ proposed by del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996). (shrink)

Tracing key biblical topics recurrent in Grotian and Hobbesian discourses on the church-state relationship, The Sovereign and the Prophetsexamines Spinoza's Old Testament interpretation in the Theologico-political Treatiseand elucidates his effort to establish what Hobbes could not adequately offer to the Dutch: the liberty to philosophize. Fukuoka develops an original method for understanding seventeenth-century biblical arguments as a shared political paradigm. Her in-depth analysis reveals the discourses that converged on the question, 'Who stands immediately under God to mediate His will (...) to the people?' This subtly nuanced theme not only linked major theoreticians diachronically--from the Remonstrants such as Grotius to the anti-Hobbesian jurist Ulrik Huber (1636-1694)--but also synchronically built the axis of resonances and dissonances between Leviathanand the Theologico-political Treatise. (shrink)

科挙のような儒教的制度を有さない他方、仏教によって葬儀や祭祀が主導されていた近世日本社会。そうした社会を生きる儒者達は、儒教儀礼、殊に東アジアで絶大な影響力を誇った『家礼』記載の喪祭礼を、どのように捉 え、そしていかにして実践しようと試みていたのか。長期間にわたってこの問題と真摯に向き合い続けた、山崎闇斎を学祖とする闇斎学派に着目、思想と社会とが様々に交錯する現場に立ち入ることで、これまで見落とされ てきた近世日本儒教の新しい一面を照らし出す。.

This paper shows Hilbert system (C+J)-, given by del Cerro and Herzig (1996) is semantically incomplete. This system is proposed as a proof theory for Kripke semantics for a combination of intuitionistic and classical propositional logic, which is obtained by adding the natural semantic clause of classical implication into intuitionistic Kripke semantics. Although Hilbert system (C+J)- contains intuitionistic modus ponens as a rule, it does not contain classical modus ponens. This paper gives an argument ensuring that the system (C+J)- is (...) semantically incomplete because of the absence of classical modus ponens. Our method is based on the logic of paradox, which is a paraconsistent logic proposed by Priest (1979). (shrink)

The cellular basis of motor learning in the cerebellum has been attributed mostly to long-term depression (LTD) at excitatory parallel fiber (PF)-Purkinje cell (PC) synapses. LTD is induced when PFs are activated in conjunction with a climbing fiber (CF), the other excitatory input to PCs. Recently, by using whole-cell patch-clamp recording from PCs in cerebellar slices, a new form of synaptic plasticity was discovered. Stimulation of excitatory CFs induced a long-lasting (usually longer than 30 min) of 30 sec) and the (...) durations of RP (>30 min) strongly suggests that some intracellular biochemical machinery is involved. Pharmacological evidence suggests that protein kinases are involved in RP of inhibitory synapses and LTD of excitatory PF synapses. Besides the well-described LTD, RP could be a cellular mechanism that plays an important role in motor learning. (shrink)

生物学者と哲学者が西田哲学を共通項に生命について徹底的に考え抜く。時間論を経て知の統合に向かう碩学2人による記念碑的対話。.

It has been commonly claimed that prehistoric warfare in Japan began in the Yayoi period. Population increases due to the introduction of agriculture from the Korean Peninsula to Japan resulted in the lack of land for cultivation and resources for the population, eventually triggering competition over land. This hypothesis has been supported by the demographic data inferred from historical changes in Kamekan, a burial system used especially in the Kyushu area in the Yayoi period. The present study aims to examine (...) the previous claim by using an expanded dataset of human skeletal remains and Kamekan. First, in order to quantify the intensity of warfare, we developed a database of injured individuals found in the middle phase of the Yayoi period in two large populations in the northern Kyushu area, the Fukuoka plain and the upperand middle-stream of the Homan River. Second, we collected Kamekan data from site reports published after 1990 and constructed a comprehensive database to infer the demography in these areas. Finally, we compared the frequency of injured individuals and the inferred demography. The results suggest that the frequency of injured individuals and the population increase tended to be higher at the upper- and middle-stream of the Homan River than on the Fukuoka plain. Different assumptions of the lifetime of each type of Kamekan can produce mixed results on the relationship between demography and the frequency of injured individuals. They were positively correlated under the traditional assumption of constant time intervals, while there was no correlation using time intervals based on carbon dating by the National Museum of Japanese History. Thus, our results are partially consistent with the previous claim that the population increase and the lack of land and resources due to the introduction of agriculture were causes of warfare in the northern Kyushu area in the middle phase of the Yayoi period. (shrink)

This volume contains the proceedings of the conference "Casimir Force, Casimir Operators and the Riemann Hypothesis – Mathematics for Innovation in Industry and Science" held in November 2009 in Fukuoka. The conference focused on the following topics: Casimir operators in harmonic analysis and representation theory Number theory, in particular zeta functions and cryptography Casimir force in physics and its relation with nano-science Mathematical biology Importance of mathematics for innovation in industry.