著者

武田 英明

出版者

東京大学

巻号頁・発行日

1991

---

報告番号: 甲08991 ; 学位授与年月日: 1991-03-29 ; 学位の種別: 課程博士 ; 学位の種類: 工学博士 ; 学位記番号: 博工第2642号 ; 研究科・専攻: 工学系研究科精密機械工学専攻

著者

百地 章

出版者

有斐閣

雑誌

民商法雑誌 (ISSN:13425056)

巻号頁・発行日

vol.108, no.4, pp.p753-756, 1993-08

著者

植村 玄輝

出版者

日本哲学会

雑誌

哲学 (ISSN:03873358)

巻号頁・発行日

vol.2015, no.66, pp.127-142, 2015

---

<p></p><p>In discussing the nature of laws of logic in the <i>Prolegomena</i> of the <i>Logical</i> <i>Investigations</i>, Husserl gives a passingly critical remark about a certain sort of <i>anti</i>-psychologism. He accuses some antipsychologists of misconceiving the laws of logic as essentially normative. This is a mistake, he claims, because logic is a system of norms of thinking or judging only in a <i>deliberative</i> sense; in its primal form, "pure" logic concerns <i>descriptive</i> laws that govern the relationship among propositions as ideal meaning-entities. Such a remark is in need of elucidation and evaluation, since it is widely and correctly acknowledged that the <i>Prolegomena</i> is devoted to the refutation of psychologism rather than anti-psychologism. In the present paper, the author argues for the following four claims: (I) Husserl's criticism of antipsychologism is an integral part of his argument for pure logic. Since his argument against psychologism in and by itself leads only to the anti-psychologism in question, he is in need of a separate argument for the primarily descriptive and deliberatively normative nature of logic. (II) Husserl succeeds in giving a coherent and fine account of how laws of logic are primarily descriptive and deliberatively normative. (III) This account is not well motivated unless it is supplemented by the phenomenological analysis of cognition. (IV) Husserl does not succeed in providing such a supplementation in the second volume of the <i>Logical</i> <i>Investigations</i>, because he there excludes intentional objects from the domain of phenomenological descriptions. With those claims, the author concludes that Husserl's so-called transcendental turn and the further development of his thought should be understood as attempts to overcome the incoherence of the Logical Investigations in order to save the largely Aristotelian conception of logic that lies behind the whole discussion.</p>

著者

鈴木 治 室伏 俊明

出版者

日本知能情報ファジィ学会

雑誌

知能と情報 : 日本知能情報ファジィ学会誌 : journal of Japan Society for Fuzzy Theory and Intelligent Informatics (ISSN:13477986)

巻号頁・発行日

vol.19, no.2, pp.103-142, 2007-04-15

参考文献数

45

被引用文献数

11

著者

時実 象一

出版者

社団法人情報科学技術協会

雑誌

情報の科学と技術 (ISSN:09133801)

巻号頁・発行日

vol.64, no.10, pp.426-434, 2014-10-01

---

この記事は,ここ数年のオープンアクセスの動向について詳述するもので,前後編に分かれる。この前編では,はじめにオープンアクセスの定義と歴史について,特にゴールド・オープンアクセスとグリーン・オープンアクセスについて簡単に説明した。近年研究助成機関と各国政府のオープンアクセス志向が強まり,米国・英国など主要国で助成研究成果論文の無料公開が義務付けられている。なかでも,2013年2月の米国OSTPのメモ,2012年6月の英国のFinch Reportとその影響,ECの動向などについて解説した。さらに,米国では,この義務化に対応するための出版社の取り組みCHORUS,図書館の取り組みSHAREなどの動きがある。 CHORUSはCrossRefのFundRefに支えられている。こうした,義務化を支えるインフラストラクチャーについて述べた。

著者

新井 政美

出版者

みすず書房

雑誌

みすず

巻号頁・発行日

vol.43, no.4, pp.2-7, 2001-04

著者

K.A.

出版者

公益社団法人日本船舶海洋工学会

雑誌

造船協会雑纂 (ISSN:03861597)

巻号頁・発行日

no.110, pp.2-3, 1931-05

著者

兼子 諭

出版者

The Japan Sociological Society

雑誌

社会学評論 (ISSN:00215414)

巻号頁・発行日

vol.65, no.3, pp.360-373, 2014

---

本稿は, アレグザンダーの「市民圏」論の検討によって, 公共圏論の理論的な刷新を図ることを目的とする.<br>公共圏論に大きな影響を及ぼすハーバーマスは, 公共圏を公論形成の領域と規定する点ではマクロ的な観点を保持する. だが, 直接的な対話による了解を志向する討議を公共圏におけるコミュニケーションのモデルとすることから, 民主的社会における市民の意思形成とマクロレベルでの政治プロセスの接続という点で理論的困難を抱えている.<br>これに対してアレグザンダーは「市民圏」概念を提唱する. 彼は, 市民圏におけるコミュニケーションを, 討議から, 感情的な共感に訴えることでオーディエンスからの承認を求めるパフォーマンスに代替することを主張する. 彼に従えば, 基本的なコミュニケーションをパフォーマンスとして捉えることこそが, 民主的社会における公共圏のより適切な理論化につながる.<br>理論的課題は多く, 公共圏におけるコミュニケーションがスペクタクルとして上演されることを肯定するだけという評価もあるかもしれない. だが, アレグザンダーの市民圏論が, 現代の民主的社会と公共圏の関係に対する新たな洞察を可能にすると, 筆者は主張したい.

著者

杉山 明央 興津 浩美 石丸 智彦

出版者

日本鉄道サイバネティクス協議会

雑誌

鉄道サイバネ・シンポジウム論文集 (ISSN:18842224)

巻号頁・発行日

vol.51, 2014-11

著者

宮谷 宣史

出版者

関西学院大学

雑誌

神學研究 (ISSN:05598478)

巻号頁・発行日

vol.37, pp.125-164, 1990-03

著者

菅野 憲司 カンノ ケンジ KANNO Kenji

出版者

千葉大学文学部

雑誌

千葉大学人文研究 (ISSN:03862097)

巻号頁・発行日

no.41, pp.117-124, 2012

---

千葉大学「人文研究」第41号

著者

大澤 千恵子

出版者

日本宗教学会

雑誌

宗教研究. 別冊 (ISSN:21883858)

巻号頁・発行日

vol.87, pp.309-310, 2014-03-30

著者

平 英司

出版者

関西学院大学先端社会研究所

雑誌

関西学院大学先端社会研究所紀要 (ISSN:18837042)

巻号頁・発行日

no.11, pp.99-109, 2014-03

著者

水林 章

出版者

東京外国語大学

雑誌

総合文化研究 (ISSN:18831109)

巻号頁・発行日

vol.4, pp.60-97, 2000

出版者

海人社

雑誌

世界の艦船

巻号頁・発行日

no.780, pp.21-42, 2013-07

著者

長谷川 貴彦 成田 龍一 桜井 厚

出版者

校倉書房

雑誌

歴史評論 (ISSN:03868907)

巻号頁・発行日

no.777, pp.6-32, 2015-01

著者

足澤憲 澤本潤 杉野栄二 瀬川典久

出版者

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

雑誌

全国大会講演論文集, 2011-03-02

巻号頁・発行日

vol.2011, no.1, pp.211-213, 2011

被引用文献数

1

---

本研究ではメール入力時の日本語入力システムとして携帯電話で取得した情報から予測単語リストの優先順位を変更するシステムを提案する.携帯電話で取得できるデータとして時間や場所などがあり,例えば「お」と入力すると,朝なら「おはよう」が,夜なら「おやすみ」が上位になるように予測候補の順番を変える.また,メール相手との上下関係や接点などをアドレス帳から調べ,口調や年齢に合わせた単語を上位に表示したり,今お互いがいる場所からよく入力される単語を調べて,優先順位に反映する.このようにTPO(時間・場所・場合)にあわせて優先順位を変更することで効率的な単語選択を可能とし,全体的な入力速度の高速化を実現する.

出版者

日経BP社

雑誌

日経コンストラクション (ISSN:09153470)

巻号頁・発行日

no.213, pp.90-95, 1998-08-14

---

「毎晩12時,1時過ぎまで話し合った。気づいたら朝だったこともある」。彦根市とまちなみづくり委員会の当時の苦労について,参加した住民や市職員はこう語っている。 彦根城の入り口へ続く京橋通りを,道路拡幅にともない「彦根の城下町らしい街並みに」と提案したのは,1985年当時の井伊直愛なおよし市長。

著者

崔雄 関口 博之 八村広三郎

出版者

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

雑誌

情報処理学会研究報告人文科学とコンピュータ(CH) (ISSN:09196072)

巻号頁・発行日

vol.2008, no.100, pp.39-44, 2008-10-11

被引用文献数

5

---

本研究の目標は,モーションキャプチャによる身体動作データを用いて居合道の熟練度を定量的に分析することである.居合道の熟練度を比較するために,切りおろし動作を対象にして被験者の身体動作データを収録した.データ分析には多変量解析 (主成分分析,クラスター分析) を用いて身体動作データから抽出した身体の特徴量を定量化した.その結果,切りおろし動作に対する居合道の熟練度は身体重心と切り下ろしの速度,身体の安定性で分類できることがわかった.The purpose of this research is to make a quantitative analysis of laido (the Japanese martial art of using the Japanese sword) proficiency with multivariate data analysis. We carried out expenments of motion capture on Kirioroshi (a straight overhead slash) movement of Roppon-me (a sword thrust using two hands) in laido. We can analyze the proficiency of an laido practitioner by conducting PCA (Principal Components Analysis) and cluster analysis of parameters of body movement. In addition, it is expected that our research will help laido practitioners and masters with laido training through giving new information on laido movements.

著者

神戸 隆行

出版者

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

雑誌

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

巻号頁・発行日

vol.46, no.1, pp.78-96, 2005-01-15

参考文献数

17

---

現在,数多くの様々な最適化技術が研究されているが,そのすべての最適化技術,特に問題依存度の高い最適化を組み込むことは処理系の肥大化を招く.そこでこのような問題依存度の高い最適化は問題の解法とともに処理系ではなくプログラム部品としてライブラリ化することが考えられる.その手段の1 つとしてメタ・プログラミングがある.そしてこのように最適化をライブラリに組み込むにあたっては実行環境の違いをどう反映するかという問題がある.これについては最適化に適当なパラメータを導入し,実行環境で試行・計測してパラメータを求める実行時プロファイリングという方法がある.本発表ではFFT を例にとり,メモリ階層を意識した最適化をC++テンプレートの機能を用いたメタ・プログラミングで行うとともに,実行時プロファイリングに基づいて適応的な最適化を行ったので報告する.これは3 つの段階からなる.1) 核となる小さなサイズのデータに対するFFTコードをサイズごとに複数生成(ループの展開,三角関数値の静的計算).2) 前段で生成したサイズごとの核コードの実行時間計測.3) 計測結果に基づく核コードの選択・合成による最終的なFFT コードの生成.特にこのうち1) と3) でC++テンプレート・メタ・プログラミング技法を利用した.以上の実装と評価について報告を行う.Although much various optimization technologies are studied now, including all these optimization technologies, especially highly problem dependent optimizations bloats code size of compiler too much. One approach is the following: the optimizations build into a part of component library the solution instead of build into compiler itsself, which is able to realize with meta-programming technique. But including the optimizations in a library in this way, there is a problem how to reflect the difference in execution environment. This problem is dealt with introducing parameters for optimization, profiling trial execution in an execution environment, and looking for a suitable parameter value. In this presentation, FFT is taken for the example, and we describe memory hierarchy conscious optimization for FFT, which is implemented in meta-programming technique, and adaptive optimization based on execution time profiling. Our method consists of three steps. Step1: They are some FFT code generation (ex. unrolling of a loop, static evaluation of a trigonometric-functions value) for each small constant size data used as a kernel. Step2: Execution time measurement of the kernel for every size generated in the preceding step. Step3: Generation of the final FFT code by selection and composition of the kernel based on the measurement results. C++ template meta-programming technique was used in Step 1 and Step3. The above method and its evaluation are reported.