キーワードフォルダ - Wikipediaの専用検索エンジン
ＵＲＬ：http://www.keywordfolder.com/
キーワードフォルダ(Keyword Folder β for Wikipedia)は、Wikipediaを検索対象として公開されている自動カテゴリ型検索エンジンです。
自動カテゴリ型検索エンジンとは、検索対象文書から自動でカテゴリを作成することのできる検索エンジンです。
ユーザーはカテゴリを検索補助として利用することによって、キーワードの絞り込み、内容の俯瞰、関連キーワードによる再検索などを行うことができます。
他社の検索エンジンと比較すると、サジェスト機能や関連キーワードを強力にしたものと考えることもできます。このカテゴリ機能によって検索の質・幅を広げることができます。
|
Tweet |
キーワードフォルダ - Wikipediaの専用検索エンジンとの類似Webサービス
■コメントを記入する
Webサービスアカウントのツイート
-
08:31 PM Oct 19
RT @DaigakuSuugaku: フェルマー予想とは： n≧3の場合、x^n ＋ y^n ＝ z^n の、自然数解Ｘ、Ｙ、Ｚは存在しない。 https://t.co/kv6eMA5zzq この予想は「谷山・志村予想」の解決を通し，ワイルズが証明した。（1994）
-
08:47 AM Oct 19
RT @OxUniMaths: In mathematics we often encounter complicated objects which intuitively we suspect to be "shadows" of a richer structure, b…
-
08:46 AM Oct 19
RT @tetsutalow: うっひゃー、やるなぁFB。これは凄いぞ。 / “ソフトのバグ修正をAIで自動化、フェイスブックSapFixの可能性 | 日経 xTECH（クロステック）” https://t.co/pk4tj5hrzp
-
09:45 PM Oct 17
観光立国は、弱い。
-
09:42 PM Oct 17
教えられたり、真似したり、では。日和見でなく、自分がとにかく求めて行くようじゃなきゃ、何事も見えてくるものじゃない。
-
09:36 PM Oct 17
もっと道徳、社会正義を求めずにどうして平和が保てるでしょうか。もっと論理と数学を学ばずに、どうして学問と経済で繁栄を享受できるだろうか。 それでは時代も先行きもなんにも分からないでしょう。 オリンピックなんてお祭、比べてそんなに大事ですか。
-
09:26 PM Oct 17
経済の新陳代謝や構造改革がとにかく遅すぎないか。農業、IT、教育、金融などなど、問題の棚ざらし、なんの知見もないし、社会正義を求める気持ちも弱い気がする。
-
09:21 PM Oct 17
グローバル化とはいえ、内部留保が増加してるのに、競争力を理由に経営サイドの意見に流され過ぎで、駄目になってるのでは。
-
09:18 PM Oct 17
少子化やデフレは雇用の不安定や賃金の伸び悩み、総じて労働者側の権利が弱いからだと思う。
-
09:17 PM Oct 17
派遣法が働き方の自由が建前ならもっと労働者側の権利、正社員転換の権利を強くしないと。
-
09:13 PM Oct 17
RT @asahi_tokyo: #派遣社員 の４割「正社員で働きたい」 実態は狭き門 #３年ルール #改正労働者派遣法 https://t.co/vI3vWwp2rg
-
09:02 PM Oct 15
デデキント切断（有理数の切断）の定義とその同値性についての証明 https://t.co/j22h608WLJ @sebata_junyaより
-
08:43 PM Oct 15
RT @kobetsu2010: 立教大 脱MARCHで目指す姿 | 2018/10/15(月) - Yahoo!ニュース https://t.co/X8LkRWCIKf @YahooNewsTopics RJK（立教上智慶應）になる日はくるのだろうか。 ５年後、１０年後の…
-
08:59 AM Oct 13
RT @LondMathSoc: How can we ensure system correctness in the presence of uncertainty? The @royalsociety's 2018 Milner Award Lecture will be…
-
08:27 PM Oct 12
RT @alittlestats: Some of my students' (wild) ideas about what is the threshold for likely vs. unlikely made me think of this graphic: perc…
-
04:52 PM Oct 12
RT @OxUniMaths: One of the most basic problems in combinatorial optimisation is the problem of finding the minimum spanning tree of a graph…
-
12:29 PM Oct 12
RT @melanie_battles: My favorite days are when I get to spend the majority of class periods listening to students’ rich conversations when…
-
08:47 AM Oct 11
RT @yuichi_ike: 昨日は #Mathpower で講演の機会をいただきました。今年のチャーン賞受賞者の柏原正樹先生の代数解析における業績（のほんの一部）を分かる範囲で紹介しました。講演スライドを公開しておきます。 柏原正樹氏の業績 代数解析編 https://t.…
-
08:45 AM Oct 11
RT @clementinehazel: Why Socrates sentenced to Death? https://t.co/7QPXYICFTa
-
01:51 PM Oct 09
RT @tetsutalow: Googleも。いかにWebサービスを安全に安定的に快適に運用するのが難しいか。 / “「グーグルプラス」終了へ、最大50万件の個人情報漏えいも認める 写真1枚 国際ニュース：AFPBB News” https://t.co/kkHRSL6iA9
-
08:40 AM Oct 08
RT @metaphusika: モデル論と哲学の関係に特化した話はあまりフォローしていなかったので最近出たらしい本を買ってみた（Hodgesがappendixを書いていたし）。Philosophy and Model Theory https://t.co/RqfBQsAKW…
-
12:58 PM Oct 07
RT @math_jin: ビル・ゲイツ氏、論文公開で世界主導: 日本経済新聞 https://t.co/oY8sTeZcH9 「論文をただ載せるのではない。学術誌を発行する出版社の「専売特許」だったはずの論文の評価機能も備える。新興企業「F1000」社に論文評価を委託すること…
-
04:33 PM Oct 06
RT @math_jin: 望月新一の最新情報更新 2018年10月06日 ・（過去と現在の研究）2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書＋関連文書のウェブページを更新。 #IUTABC https://t.co/0XlO5g8YaN
-
04:31 PM Oct 06
RT @math_jin: 2020年度RIMSプロジェクト研究 「宇宙際タイヒミューラー理論の拡がり」 https://t.co/dqomESmLxH #IUTABC
-
07:32 PM Oct 05
RT @OxUniMaths: So here's a puzzle. Who are they? 180 men, 93 women, 33 nationalities including Afghan, Kazakh, Syrian, Pakistani, Malaysia…
-
02:54 PM Oct 05
RT @amermathsoc: 2018 Spirit of Ramanujan Global STEM Talent Search underway! Applications invited for up to 30-40 monetary grants to suppo…
-
02:49 PM Oct 05
RT @tetsutalow: うちの留学生の就活とか見てると企業側が昔の感覚を捨てきれてないように感じる。本国に戻った方がいい給料出るようになれば残らないしそもそも留学に来なくなるのは当然。 / “181358?page=2” https://t.co/SfQQJKyXVI
-
02:48 PM Oct 05
RT @kobetsu2010: 専門職大学、新設は1校だけ 初申請17校も「準備不足」 | 2018/10/5 - 共同通信 https://t.co/MlYZ96Bbss 55年ぶりの新しい大学制度。 どのようになっていくのか楽しみにしていましたが残念。 今後に期待し…
-
06:52 AM Oct 05
RT @amermathsoc: Bernhard Riemann in Science News https://t.co/emQ2QKwGJx via @addthis
-
11:05 AM Oct 03
RT @math_jin: 本庶氏は「１０００億円規模が実現すれば、年利を４％とすると年間４０人（１人当たり１億円）を支援できる計算だ。国の予算からすればわずかだが、一石を投じたい」と話した。 ＜ノーベル賞＞本庶氏、基金設立へ 賞金で若手研究者支援（毎日新聞） https:/…
-
11:04 AM Oct 03
心の中に生きてるというのは、死を理解しきれない子供の方が強いのかもしれない。理解できない方が正しい気もしてくる。 仏壇も閉じて、天国も否定して、探し回る子。とても優しくて良い子。
-
07:58 PM Oct 02
RT @haya2_jaxa: 【MASCOT】10月2日 14:40 JST：探査機はリュウグウへ降下中です。高度は現在、約16kmです。
-
05:01 PM Oct 02
リベラルアーツを学ぶための勉強法 https://t.co/QsB728n55d … #リベラルアーツ #リベラル・アーツ #勉強 #勉強法
-
09:19 PM Oct 01
RT @washingtonpost: The Nobel Prize in medicine awarded to two cancer immunotherapy researchers https://t.co/it3h5rKSEJ
-
09:16 PM Oct 01
RT @nytimes: Denny Tamaki, the son of a Japanese mother and a United States Marine, became the first mixed-race governor in Japan after win…
-
09:16 PM Oct 01
RT @math_jin: 本庶 佑 副院長・特別教授 ノーベル生理学・医学賞受賞の報に接して 2018年10月1日 京都大学高等研究院 院長 森 重文 本庶先生、この度はノーベル賞の受賞誠におめでとうございます。 #ノーベル賞 https://t.co/gWdniB19…
-
01:14 PM Oct 01
#リベラルアーツ の学び方を更新しました。 https://t.co/QsB7285tGD
-
01:10 PM Oct 01
ホームページをリニューアルしました。https://t.co/Hxlp7FljJA
-
10:16 AM Oct 01
#学問 #数学 #ソクラテス
-
10:11 AM Oct 01
「数学の想像力」、加藤先生の本。
-
10:07 AM Oct 01
以上の議論は、、 一言で言えば無知の知ということなので、ソクラテスは学問的にはすごい。けど、彼自身も認めるように、あくまで学問という不完全で小さな土俵の上で。
-
07:26 AM Oct 01
形式的な理論でなく、通常の理論の推論であれば、常にその公理からの演繹の妥当性が議論になるが、その同意はより疑問をはらむ。形式的な文字の一致、つまり表現の一致で確かめられるものでなく、概念という非明示的なものでしか確かめられないから。
-
07:18 AM Oct 01
理論的な問題だけではなく、命題の数や命題内の文字数が有限であっても膨大な数になれば現実的な課題。
-
07:09 AM Oct 01
ちなみに演繹規則も公理化するなら、推論におけるその無根拠性は明確になる。一方、その適用は形式的で疑いの余地がなさそうだが、そこにすら疑問符を求められないわけでない。つまり、AとAは同じ文字か？根拠は？
-
02:17 AM Oct 01
この本を読んでみたいと思った。それにしても部屋が揺れて眠れない。すごい台風だ。
-
02:13 AM Oct 01
にできたものは常に不完全であって、それは信じるに足らない。むしろ信じる根拠が何もない。つまり、根拠なく信じるに値するか否かが学問と信仰との最大の違いと思う。それゆえ、学問は信じること、信仰の上にしかありえないが、学問自体には信仰がない、と言えるのだと思う。
-
02:06 AM Oct 01
公理が無根拠のように内的整合性、つまり公理からの演繹も無根拠な同意が必要となっているのだと思う。それゆえ、学問は完全を目指す不完全の中にあると思う。そこには完全な真理の存在への信仰がなければ、学問は支離滅裂の懐疑に陥ると思う。正しさは求めなければ偶然には手に入らない。ただ、目の前
-
01:50 AM Oct 01
RT @FumiharuKato: @ogawa_soken 毎回楽しみにしていました。とりあげていただいて光栄です。ありがとうございました。
-
11:02 PM Sep 29
RT @MrHonner: Love this vector field visualization tool, shared by a student! https://t.co/MhmxIV2bse #math #mathchat https://t.co/IGWmkGMI…
-
04:47 PM Sep 29
RT @metaphusika: IUTTの圏論による議論の精密化はもっと早くに誰かがやると思っていたけれど，泥沼化してようやく手を出す人が出てきた様子。数論幾何ではなくnlab系人脈からだけど。 https://t.co/kfjRfKyyRM
-
03:56 PM Sep 28
RT @ProfMeza: Looking forward to seeing all the math oriented ideas from our communities. @TheSIAMNews @amermathsoc @AmstatNews Submit you…
-
07:49 PM Sep 27
RT @haya2_jaxa: 6. Rover-1Bが動画撮影に成功。2018年9月23日10時34分から11時48分（日本時間）まで15枚取得した画像による動画。 https://t.co/UOSvu33FwQ (6/6) 以上です。（スレッド投稿がうまく行かずバラバラに…
-
08:20 PM Sep 26
好きなように勉強したいなあ。数学、英語、ギリシャ語、ラテン語、けどやらないのはそれほど大切ではないからか。
-
03:09 PM Sep 25
RT @azu_re: Spire Health Tag届いた。 バイブレーションとかコネクション用のボタンとなも内蔵しててこの小ささなんだ https://t.co/balHmZNIxP
-
02:16 PM Sep 25
RT @hayashiyus: TL上で話題のリーマン予想について、Todd 関数は T(γ)/γ = T(π)/π かつ T(π)=1/α=137.035999... を満たすとされているのに、実際に数値計算してみると T(π)=1/α= 0.160259...…
-
10:12 AM Sep 25
RT @kentaro_neko: リーマン予想は経過でおまけで証明できて、微細構造定数を導出したということだけど、こういうのは２年くらいのうちに反論が出てこないかどうかという公開査読みたいなもんなんで、まだわからん。本当だったら数学が成り立つ世界では常に物理常数は同じというこ…
-
08:26 PM Sep 24
RT @amermathsoc: The video of Atiyah’s lecture will be posted the HLF website and YouTube channel https://t.co/ljMf1wkLY2 “a couple of hour…
-
08:20 PM Sep 24
-
08:12 PM Sep 24
RT @math_jin: アティヤさんのリーマン予想証明の講演が今流れてます！ https://t.co/VcFwo62dRc https://t.co/NY2WST8KJE
-
08:11 PM Sep 24
RT @iwaokimura: Fields賞もAbel賞ももらってarXivからrejectされる人生ってすごいな．
-
08:11 PM Sep 24
RT @q_n_adachi: ゼロ除算のことだが、講演者本人から連絡をいただいた。執筆中の著書の原稿も拝見したが、私には1/0も含めた体系の定義と演算が厳密に定義できているとは思えない。かりにうまく定義できたとしても「その体は複素数体と同型になる」そうである。すると０で割ると…
-
08:06 PM Sep 24
RT @mpoessel: Atiyah has promised this to be accessible to non-mathematicians. #HLF18 https://t.co/4tg384IHyB
-
05:17 PM Sep 24
RT @hottaqu: アティヤ先生は、たった５ページのリーマン予想の証明の論文を既にpdfで公開してるようだ。 https://t.co/BNAphTtoGp
-
05:16 PM Sep 24
RT @math_jin: これがAtiyahさんのリーマン予想証明の‥ https://t.co/v1z2iXN67h
-
05:16 PM Sep 24
-
05:12 PM Sep 24
RT @MrHonner: "Math is binary: you're either right or you're wrong." "Students shouldn't work together in math class." "It's not important…
-
10:04 AM Sep 22
RT @FumiharuKato: スゲー！ https://t.co/40ze2nNaYJ
-
09:32 AM Sep 22
RT @FumiharuKato: The reports of the March discussion in Kyoto on IUTT have been released. It seems agreed by the both sides of the debate…
-
09:23 AM Sep 22
RT @yutakashino: Titans of Mathematics Clash Over Epic Proof of ABC Conjecture https://t.co/UadKfiiA5U 望月新一さんのABC予想の証明にある系3.12がおかしいとドイツ人数学者…
-
07:37 AM Sep 22
RT @q_n_adachi: 何やらうまく説明できる図形の話ばかり持ち出している点にある。たとえば1/2+1/0はどう計算するのか？もし普通の分数のように通分できるのなら1/2=1/2+1/0=2/0=0となってたちまち具合が悪くなる。他に四則をどんな風に定義し直してみても必…
-
08:55 PM Sep 21
RT @FumiharuKato: やっと出たようです。 https://t.co/AW0j8cak7D
-
02:05 PM Sep 20
RT @sesiru8: Atiyahがリーマン予想を解いたかもとか言う話…！ https://t.co/2kTaoHhQNg
-
07:45 AM Sep 20
RT @Shincho_Bungei: 良心に背く出版は、殺されてもせぬ事（佐藤義亮）
-
10:08 PM Sep 19
RT @q_n_adachi: そうです。斎藤さんは群馬大学の名誉教授だそうです。こんな授業をしていたのでしょうかね。天動説が地動説に変わるようなものだそうですが、逆じゃないですかね。 https://t.co/XZ8aRPlP5D
-
10:07 PM Sep 19
RT @q_n_adachi: 昨日「和算とゼロ除算」と題する講演を聴いた。1÷0を0と定義すると実に素晴らしい結果がたくさん得られるという。どこかの大学の先生と仲間の二人なので精神に異常があるというわけではないらしい。全ての数字者は間違っているとか。何を言っても聞きそうにない…
-
10:09 PM Sep 17
目標は少しでも上手くなることっていうのはいいなあ。
-
06:45 PM Sep 16
RT @unaoya: 箱の数nのヤング図形に、ある規則で数を書き込む場合の数を二乗して足すとnの階乗になる。これを置換群の表現で解釈して証明することができるという話を昨日のトポスでしました。 https://t.co/qvpXrrkCj7
-
08:12 AM Sep 16
RT @iipod: 数学の、「役に立つ」や「役に立たない」は、その時代でのパラダイムに依存しているので、パラダイムにフィットしてしない一部の数学では、「役に立たない」と判断されがちだと思います。自分は、パラダイムの概念を気にせず、数学を自由に楽しみたいです。 人生は高々有限
-
08:12 AM Sep 16
RT @m_kurihara_math: ガウスの出版されなかった「第8章」の原稿は、英訳も和訳もなく、ラテン語超初心者の奮闘跡を見せてしまったかもしれません。Artinの相互法則の証明が円分体に帰着されることを考えると、4乗剰余相互法則と円分体の話がかかわるのも自然です。
-
12:13 PM Sep 15
RT @m_kurihara_math: 昨日は、共立出版社で講演しました。大変多くの方々に来て頂き感謝いたします。ガウスは「数論研究」出版前に、有限体の拡大体とそのガロア理論、円分体における素数の分解法則まで研究し、本に収録する予定で、原稿もできていたこと、それを使って高次の…
-
09:56 PM Sep 14
RT @nytimes: Plants have no eyes, no ears, no mouth and no hands. They do not have a brain or a nervous system. And yet, when something com…
-
12:26 PM Sep 11
RT @daveinstpaul: Math is beautiful. https://t.co/e0cVVgxcif
-
09:39 PM Sep 09
RT @EssentialMath: 今日は、geogebraで初めて３D、立体の展開図を勉強した。２次方程式の文章問題でよく出題される立体の展開図容積ののシミュレーションを作ってみた。改めてgeogebraの無限の可能性を確信した。 https://t.co/pJZihHTF…
-
07:22 PM Sep 08
また、今日は暑かったなあ。
-
05:49 PM Sep 07
大竹さんの母へ送る言葉は素晴らしい。共感しました。
-
05:44 PM Sep 07
大竹しのぶさんの母、江すてるさんが死去 自宅で介護（朝日新聞デジタル） - Yahoo!ニュース https://t.co/58txWs8jOb @YahooNewsTopics
-
04:39 PM Sep 07
RT @ootoriraku: ブラジルの国立博物館。オリンピックを言い訳に予算を出さず、火災のために収蔵物ほぼ全焼・・・という記事。現在の北海道の、「大学や研究機関に自家発電がないため、冷凍庫に保管していた貴重な研究成果（菌株・ウイルス株・抗血清・DNA等々）が全てダメになる…
-
06:07 PM Sep 06
大坂選手、明るいなあ。
-
05:52 PM Sep 05
蝉も百日紅の花も終わりかけなのに、また暑さはぶり返すのだろうか。生き物と季節が合っていない気もする。
-
12:29 PM Sep 05
@lovebourbaki そもそも言語で言語を考えたい、数学で数学を考えたいというときに、この循環から矛盾を生み出さないように、けど循環を扱いたいというせめぎあいがメタ言語やメタ数学にはあるのだと思いますし、メタを生み出した動機なのだと思います。
-
12:22 PM Sep 05
@lovebourbaki すべての循環を避けるとなると、言語で表現された集合は言語を扱えないことにもなります。避けたいのは自己参照による推論の循環と、それによる矛盾の発生なのだと思います。ゲーデル数のように矛盾を生じなさそうで面白い結果を生む自己参照はありかなと思います。
-
12:15 PM Sep 05
@lovebourbaki そうですね、そのため、公理的集合論を直接適用するのではなく、理論の外の超数学では素朴な集合論のみを仮定するのだと思います。超数学の中でも利用できる公理、というかその制限を明確化した方が分かりやすいのにと… https://t.co/eFjR9WOYKc
-
02:28 PM Sep 04
日照りに台風とたいへんな夏だ。鉢植えのクヌギは一度枯れても、すぐに若葉が出てきてくれた。
-
08:04 AM Sep 04
表現というレベルと、論理(推論規則)というレベルと、理論の適用対象というレベルを切り離して考えようとする。論理を起点としつつも、その相互関係に切り込むのは、なかなか難しいのかな。
-
07:58 AM Sep 04
言語を対象としないのであれば、理論Aと理論Bがあって各公理が明確に分離されていれば、理論Aの演繹対象に理論Bを適用し、理論Bの演繹対象に理論Aを適用しても、それは理論ABによって、演繹されたことで整理がつく。
-
07:52 AM Sep 04
自然言語、形式言語で、構成・表現される集合が、両言語をモデル(適用対象)とする。そこに、自己参照の恐れがあるので、言語とメタ言語、数学とメタ数学と、切り離そうとするが、メタも言語・数学から構成・表現されているから危うさはつきまとう。
-
09:18 PM Sep 03
@lovebourbaki 公理集合は公理、述語論理は論理公理、つまり公理、形式言語は表現方法、かつ前二者のモデル、つまり、前二者が採用する公理で、形式言語は表現方法であり、公理の適用対象でもあると捉えてはどうでしょうか。
-
08:48 PM Sep 03
虫の音が涼しい良い季節になってきた。このまま続けばなぁ。
-
09:07 AM Sep 03
RT @q_n_adachi: 施設出身者を支援する「若者おうえん基金」https://t.co/NuRHwyyJ3dを設立するという記事を新聞で見た。「首都圏若者サポートネットワーク」が寄付を募っている。2000万円目標とか。1万円だけだが寄付した。甲子園に出た高校に2億円も…
-
08:19 PM Sep 02
