数論・論理・意味論 その原型と展開 | 知の巨人たちの軌跡をたどる - SHOSEN ONLINE SHOP
まえがき??知の巨人たちの戦記物語 1 数とは何であるのか? 2 カントの問題設定 3 カントからデデキントへ 4 カント、デデキントからフレーゲへ??「論理学の革命」 5 数学の危機とメタ的研究 序 論 数論・論理・メタ数学の誕生と真理論・意味論の展開 1 論理主義の誕生と現代論理学の創始（第1章から第4章） 2 数学基礎論とメタ数学（第5章から第8章）??ヒルベルトからゲーデルまで 3 真理・モデル・意味の理論の誕生と展開（第9章から第12章） 4 補論 第1部 論理主義の誕生と現代論理学の創始??デデキント、ブール-シュレーダーからフレーゲへ 第1章 デデキントの数論??論理主義の一つの出発点 1 第1期の集合論的論理主義 2 デテキントの無理数と連続性の問題??その背景 3 デデキントの『無理数論』(1872) 4 無理数から自然数へ 5 デデキントの自然数論 6 「数の理論」の公
哲学を専門としない人のための哲学入門書ブックガイド - Lichtung
はじめに 哲学を専門としない人が哲学に関心が出てきたときに何を読むとよいだろうか。世には「入門書」と題されている本はあまたあるけれど、ぜんぜん入門書ではないケースも多いし、あんまり頼りにならない入門書も少なくない。 私は哲学を専門としている（とりわけ分析美学）。他の学問の専門家の人や実務家、アーティストと話す機会があったりするが「哲学ってよくわからないなあ」という感想をもらうと、「なかなか役に立ちますよ」と言いながら紹介したりしている本を紹介することにしよう。 勧めたい本は無数にあるが、えいやで各分野1冊にした。 おすすめブックリスト すごく抽象的なことが気になる人→『ワードマップ 現代形而上学』新曜社 ▶関心に合わせてトピックごとにつまみ読みがおすすめ。 ワードマップ現代形而上学ー分析哲学が問う、人・因果・存在の謎 作者:秋葉 剛史,倉田 剛,鈴木 生郎,谷川 卓 新曜社 Amazon
探索的テストの考え方|マイナビブックス
探索的テストの考え方 ソフトウェア開発のテスト設計とテクニック 著作者名：James A. Whittaker 翻訳者名：杉浦清博 書籍：3,828円 電子版：3,828円 B5変：256ページ ISBN：978-4-8399-86032 発売日：2024年12月25日 シリーズ名：Compass Booksシリーズ 内容紹介 ソフトウェアの品質高めたい、すべてのテスト技術者＆ソフトウェア開発者の方へ！ 探索的テストとはテストケースを作成せずソフトウェアを動作させながら進めるテスト手法です。手動テスト、スモール探索的テスト、ラージ探索的テスト（ツーリングテスト）、ハイブリッド探索的テスト、探索的テストの実践と話を広げ、また探索的テストの未来、テスト技術者としてのキャリアを成功させる方法をアドバイスします。 コンピュータを使ったことがある人なら誰でもソフトウェアに不具合があることは理解してい
ITエンジニアのおすすめで今年のイチオシ本を決める「ITエンジニア本大賞2024」、一般投票が開始
ITエンジニア本大賞は、この1年を振り返って「ITエンジニアに読んでほしい・おすすめしたい」と思った本を選ぶイベントです。2014年に始まり、今回で11回目の開催となります。 皆さんには仕事の役に立った本や新しい分野を学べた本、キャリアアップに繋がった本や趣味を深掘りできた本など、印象に残っている本はあるでしょうか。 そうした本を共有し多くの人に知ってもらう機会として、ぜひITエンジニア本大賞におすすめの本を投票してみてください。 おすすめ本に投票する ※投票したい本の出版社や刊行年は問いませんが、過去の大賞は選考から除外されます。 スケジュール ITエンジニア本大賞は、以下のように進んでいきます。 2023年12月10日（日）まで、一般投票を受付 2024年1月下旬、両部門のベスト10を発表 2024年2月15日（木）、両部門のベスト3を対象にプレゼン大会を実施 同日、プレゼン大会の観覧
日本が30年以上停滞しているほんとうの理由。
アンカー・ジャパン株式会社代表取締役CEO。 アンカーストア株式会社代表取締役CEO、 EAコンサルティング合同会社CEO、 他数社の社外取締役や顧問も務める。 Deloitteにてコンサルティング業務や IPO支援に従事後、 PEファンド日本産業パートナーズにて プライベート・エクイティ投資業務に携わる。 アンカーの日本事業部門創設より参画し、 同部門を統括。 参入したほぼすべての製品カテゴリーで オンラインシェア１位を実現するとともに、 創業9年目で売上300億円を達成。 本書が初の著書。 【ツイッター】@endoayumu １位思考 創業9年目で売上300億円にした、 アンカー・ジャパンCEOが 初めて語る 大逆転の新手法。 適度にサボると生産性は上がる。 27歳入社→33歳アンカーグループ最年少役員→34歳アンカー・ジャパンCEO。 参入したほぼ全製品カテゴリーでオンラインシェア1
【アタマの良さは絶対に手に入る】「問題解決力」がある人、その共通点とは？【書籍オンライン編集部セレクション】
「問題意識」はどこからくるか 「問題意識を持て」とよく言われます。はたして、そう言われて自動的に問題意識が生まれてくるものでしょうか。 そもそも、問題意識とはいったい何でしょうか。すでに問題が目の前で起こっている場合は、「問題意識を持て」などと悠長なことは言いません。 問題意識の有無を論議するまでもなく、問題が存在するわけですから、それを解決するしかないのです。 つまり、「目に見える問題」については、問題意識という言葉は使いません。「目に見えない問題」「気がつかない問題」についてのみ問題意識と言うのです。 ということは、問題意識とは、問題が顕在化する前に問題が生じる可能性を感じとる能力であるといえます。 養生という言葉があります。ふだんから健康に気をつけて養生に努めている人は、わずかな身体の変調を敏感に汲みとって、休息をとったり、医者に相談に行ったりします。だから大病にはかからず長命を全う
【物理出身の編集者より】手計算への誘い――『格子振動と構造相転移』｜森北出版
刊行したばかりの新刊書籍『格子振動と構造相転移』につきまして、編集者より本書をご紹介いたします。 ◆関連記事はこちら ＊＊＊ 先生からご提案いただいたときは 「いまではあまり聞かないテーマだな」 「どのくらい研究者がいるのかな」 というのが第一印象。もともと物理の専門書の読者は限られるのに、どのくらい多くの人に興味をもってもらえるのだろう… （石橋先生、ごめんなさい） 強誘電体や強弾性体については（もちろん）素人なので、 「専門家しか知らないような高度な理論が展開されるのかな」 「物質固有の構造や観測値をもとに第一原理的な数値解析をするのかな」 と勝手に思っていました。 ところが話をよく聞いてみると、実は結構おもしろい。出てくるのは「格子模型」「格子振動」「群論」など、物性物理の教科書でよく目にする単語ばかり。しかも、高度な理論や数値解析ではなく、あの「ランダウの相転移理論」！ つまり、
地球はやがて宇宙を放浪する!?――現代物理学が予想するもっともありそうなシナリオ（ブライアン グリーン）
「なぜこの宇宙は存在するのか？」という究極の問いを超ひも理論で解き明かそうとした世界的ベストセラー『エレガントな宇宙』。サイエンス好きなら書名を覚えている人も多いだろう。その著者でもあり、理論物理学者でもあるブライアン・グリーンの『時間の終わりまで』が新書化された。 なぜ物質が生まれ、生命が誕生し、私たちが存在するのか。膨張を続ける「進化する宇宙」は、私たちをどこへ連れてゆくのか。時間の始まりであるビッグバンから、時間の終わりである宇宙の終焉までを壮大なスケールで描き出す本書から、地球にこの先どんな運命が待ち受けるのかを紹介しよう。宇宙誕生から138億年の現在を起点に、はるか10³⁰年後までを見渡す。 ＊本記事は、『時間の終わりまで――物質、生命、心と進化する宇宙』（ブライアン・グリーン 著・青木薫 訳）から、内容を再構成してお届けします。 将来、恒星同士が衝突すると何が起こるのか？ 晴れ
仕事がデキない人の｢ヤバい口癖｣と悲しい末路
コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能（広告ブロック機能を持つ拡張機能等）を無効にしてページを再読み込みしてください。 ✕
【グーグル元社員が考案】「古代人式睡眠法」を試したらスゴかった！
「書籍オンライン」「DIAMOND愛読者クラブ」を運営する編集部。経営、経済、ビジネススキル、自己啓発、 マネー、健康、女性実用、子育て、サイエンスなど多様なジャンルのオリジナルコンテンツを発信している。 良書発見 仕事の緊張感がとれず、日中は眠くてたまらないのに、夜はぐっすり眠れない。一度眠っても、心配事があって夜中に目が覚めてしまう……。ビジネスパーソンを悩ませる「睡眠の質」問題、どうしたら解決できるのだろう。そこで参考になるのが、Googleで最速仕事術「スプリント（デザインスプリント）」を生み出し、世界の企業の働き方に革命を起こしてきた著者による『時間術大全――人生が本当に変わる「87の時間ワザ」』だ。本書はたちまちのうちに話題となり、世界的なベストセラーになっている。著者のジェイク・ナップはGoogleで、ジョン・ゼラツキーはYouTubeで、長年、人の目を「1分、1秒」でも
実践 よくないコードに立ち向かう整理術 〜あなたのコードはどんな色？〜
ありがちな仕様とコードを題材に、よくないコードに立ち向かうための整理術を紹介します。 この Book にはデザインパターンや DDD やオニオンアーキテクチャや関数型プログラミングなどは一切登場しませんが、それらのエッセンスと日常のコーディングにおいて求められる基礎的な考え方の説明が含まれています。 この Book の内容は、特定の業務領域やプログラミング言語・フレームワークには限定されません。 Laravel でも RoR でも Spring でも React でも Nuxt.js でも、きっと役に立つはずです。 逆にこの本にはクラス設計のべき論や OOP vs FP のような議論は含まれません。 画一的なコードの良し悪しの定義は難しいですが、何かしら得るものがあったと感じてもらえたらうれしいです。
「いつも丸投げ上司の標的にされる人」のたった一つの特徴
坂田幸樹 さかた・こうき [株式会社経営共創基盤(IGPI)共同経営者(パートナー)、IGPIシンガポール取締役CEO] 株式会社経営共創基盤(IGPI)共同経営者(パートナー)、IGPIシンガポール取締役CEO。 早稲田大学政治経済学部卒、IEビジネススクール経営学修士(MBA)。大学卒業後、キャップジェミニ・アーンスト&ヤングに入社。日本コカ・コーラを経て、創業期のリヴァンプ入社。アパレル企業、ファストフードチェーン、システム会社などへのハンズオン支援(事業計画立案・実行、M&A、資金調達など)に従事。 その後、支援先のシステム会社にリヴァンプから転籍して代表取締役に就任。 退任後、経営共創基盤(IGPI)に入社。2013年にIGPIシンガポールを立ち上げるためシンガポールに拠点を移す。 現在は3拠点、8国籍のチームで日本企業や現地企業、政府機関向けのプロジェクトに従事。 IGPIグル
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ジュンク堂書店池袋本店 PC書担当 on X: "4/23新刊：ISBN978-4-06-539218-8 講談社『ヒューリスティック探索』陣内佑著 50冊入荷 https://t.co/BpkhG0ZbHh"
世界標準MIT教科書 アルゴリズムイントロダクション第4版総合版 | 近代科学社
Amazon.co.jp: Pythonで学ぶアルゴリズム＆改良テクニック: 矢沢久雄 (著), 日経ソフトウエア (編集): 本
「Kindle Unlimited」が3カ月無料！「Amazonプライムデー」キャンペーン／プライム会員限定。通常会員向けには2カ月499円で利用できる期間限定プランも【Book Watch/セール情報】
kindle以外の Azw3リーダーを探す - PC
『まんがサイエンス』が386円均一！Amazon Kindleストアで「学研2023夏セール」／『学研まんが ひみつシリーズ』も440円などで販売中【Book Watch/セール情報】
47億年前、太陽系はどのようにして生まれたのか（現代ビジネス） - Yahoo!ニュース
ITエンジニアが薦める技術書はこれだ 「ITエンジニア本大賞2023」ベスト10発表（ITmedia NEWS） - Yahoo!ニュース
