大分市大石町4丁目1組の2 / 097-543-1100 月・火・金: 8:30~11:45 / 13:30~16:45 水: 8:30~11:45 / 13:30~14:45 木・土: 8:30~11:45 / 午後休診 休診日: 日曜・祭日・木曜午後・土曜午後
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト(講義ノート、サーヴェイ、モノグラフ等)のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫,「数理論理学(命題論理と述語論理)」.[PDF] 嘉田勝,「数理論理学 講義ノート(2013年度版)」. St
今回は、助詞「の」の使い方について、学習しましょう。まずは、次の文章を読んでみてください。 どこが問題? ここが問題! 一文に「の」が連続して3回以上使われている 同じ文章の中に「~の~の~の」と「の」が連続して3回以上続くと、文が間延びした感じになり、稚拙な印象を与えてしまいます。これは口語的な表現に近いためだと考えられます。 これで解決! 他の言葉に置き換える、または「の」を省略する 「の」の連続使用は2回までとし、3回以上連続させないためには、以下のように、他の言葉で置き換える、または省略する方法があります。 ・場所に関すること:「~の」を「~にある」「~にいる」に置き換える。 例:「会議室の机の上の…」→「会議室にある机の上の…」 ・時に関すること:「~の」を「~における」に置き換える。 例:「入社時の注意点の話の内容…」→「入社時における注意点の内容…」 ・対象に関すること:「~
ソフトバンク・ヒューマンキャピタルは11日、「最新Webサービスの利用に関する調査」の結果を発表した。調査対象者は、インターネット関連業界で働く22歳~49歳の男女400名。調査はイーキャリア調べ。 それによると、「自分の情報感度が高いと思うか」という質問には、「高いと思う」が12.8%、「どちらかといえば高いと思う」が61%となった。また、全体のiPhoneの所有率は7.8%、スマートフォン自体の所有率は14.1%となっている。スマートフォン所有者では「高いと思う」が87.5%と、未所有者よりも16ポイント高くなっているという。 さらに利用しているミニブログについては、「Twitter」が16%、「Amebaなう」が5.3%、「Google Buzz」が3.3%、「その他のミニブログ」が8.3%となったが、78.3%が「ミニブログを利用していない」と回答しており、Twitterを含むミニ
< 数冊なら机の上でもいいだろう。数十冊なら枕元でもいいだろう。しかし数百冊になると本棚は必須。数千冊を超えると本棚が日用品と干渉するようになり、そして数万冊となると不動産の問題になってくるのだ。 < そうなんです。そんなだから、前々から本を裁断&スキャンして電子化(PDF 化)しようと思っていて、今年のゴールデンウィークは、本の裁断&スキャンに没頭していました。 誰だってある程度数をこなせばコツをつかむものだと思うのですが、大切な本、1冊だって失敗したくないって人のために、気をつけるべきポイントをまとめてみます。 今回はとりあえず本の「裁断」について。あんまり長くなるとアレなので、スキャンその他については次の機会にチャレンジしてみる予定です。 **(2010年5月20日、5月30日、8月29日、9月17日 追記) スキャンや PDF 圧縮、PDF リーダーについても書きました。よろしけれ
Libron(リブロン)とは Libron は Amazon のページから素早く最寄りの図書館の蔵書を検索し、貸出予約ができる便利なツールです。 図書館蔵書検索サイト「カーリル」(https://calil.jp/)の提供するAPIを利用することで、全国7000以上の図書館(1400館以上の大学図書館を含む)に対応しています。 サポートのお願い 2010年よりLibronはオープンソースかつ無料で提供しております。継続して開発を続けるためには、使っていただいている皆さまからの支援が必要です。1杯のコーヒーという形でサポートをいただけると大変ありがたく思います。 ※ クレジットカードの明細には「合同会社つくる社」と表示されます。 更新履歴 3.0.18 - 2023/01/23 本以外の商品ページでも検索のローディングアイコンが表示されてしまうバグを修正しました。 3.0.17 - 2023
入学試験の難易度は全国ナンバー1、それでいて校風は自由。有名なのに実態はあまり知られていない。灘高とは一体どんな学校なのか。卒業生にしか書けない、リアルなレポートをお届けする。 互いを「天才」と呼び合う 「東大入試の、最後の科目が始まる前の休憩時間、隣の隣の席にいた灘の同級生に『オレ、最後の科目0点でも合格やわ』と言ったら、同級生は『スゴイなー。ま、オレもあと10点やけどな』と答えた。オレらの間にいた他校のヤツは必死で参考書読んでたけど、合格発表見たら、そいつはやっぱり落ちてた」 ある灘高OBが朗らかに語る。彼にとって、東大受験は「朝起きて歯磨きをする」のと同じくらい簡単なことで、「落ちる可能性はゼロ」だった。灘高生ふたりに挟まれた気の毒な受験生は、彼らの会話をどんな思いで聞いていたのだろうか。 灘高等学校。今年も東大に103人、京大に35人の合格者を送り込んだ、超有名進学校だ。所在地は兵
大学院のゼミで、シェークスピアの受容史について論じているときに(いったい何のゼミなんだろう)通訳翻訳コースの院生から、私の論の中にあった「言語戦略」という概念についての質問を受ける。 言語は政治的につよい意味を持っている。 母語が国際共通語である話者は、マイナー語話者(たとえば日本語話者)に対してグローバルな競争において圧倒的なアドバンテージを享受できる。 なにしろ世界中どこでも母語でビジネスができ、母語で国際学会で発表ができ、母語で書かれたテクストは(潜在的には)十億を超える読者を擁しているのである。 自国のローカルルールを「これがグローバル・スタンダードだ」と強弁しても、有効な反論に出会わない(反論された場合でも、相手の英語の発音を訂正して話の腰を折る権利を留保できる)。 だから、自国語を国際共通語に登録することは、国家にとって死活的な戦略的課題である。 ご案内のとおり、20世紀末に、
ネットで英語の記事を読むときに抑えておきたい英語翻訳ツール3選 に関するライフレシピをご紹介します。nanapi [ナナピ]は、みんなで作る暮らしのレシピサイトです。はじめに インターネットでは英語の記事が多いとされています。調べ物などをする際に英語の記事にぶつかった、という経験がある人も多いのではないでしょうか。 日本のサイトに出ている時点で古い情報というのはたくさんあります。英語が読める人が多くなってきた今、海外の情報を一切読まないビジネスマン、というものの価値が減ってきてしまっているかもしれません。 しかし、英語が苦手な人がいきなり読もうと思ってもなかなか難しいものがあります。だからといって英語を勉強するのも時間がかかりすぎてしまいますね。 そこで、英語が苦手な人でもなんとかなる方法を紹介します。 その1:キングソフト辞書を使う オンライン辞書&オフラインの電子辞書が完全無料「キング
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く