Engadget | Technology News & Reviews
Research indicates that carbon dioxide removal plans will not be enough to meet Paris treaty goals
Research indicates that carbon dioxide removal plans will not be enough to meet Paris treaty goals
独学大全 古代ギリシアから最新論文まで、ありとあらゆる「知」を全網羅。 著者が独自に収集・開発した技法「ベスト55」を厳選した『独学大全』から、勉強の具体的な悩みに答えます。 バックナンバー一覧 『独学大全──絶対に「学ぶこと」をあきらめたくない人のための55の技法』が、20万部を突破。分厚い788ページ、価格は税込3000円超、著者は正体を明かしていない「読書猿」……発売直後は多くの書店で完売が続出するという、異例づくしのヒットとなった。なぜ、本書はこれほど多くの人をひきつけているのか。この本を推してくれたキーパーソンへのインタビューで、その裏側に迫る。 今回インタビューしたのは、イラストレーター・漫画家として活躍するネルノダイスキさん。『独学大全』に付箋をたくさんつけて愛読されていると聞き、インタビューを依頼。日々、仕事をする際に役立つ「検索の技法」について教えてもらいました。（聞き手
がくり（ソフトウェア関連垢） on Twitter: "昔、Googleのテスト自動化マネージャみたいな人が、日本に招待されて講演後、 日本人「コスパ悪いのをどう解決してますか？」 Google「解決していないです」 日本人「え！？」 Google「？」 日本人「コスパ・・・」 Goo… https://t.co/mWGWIQ7H9p"
昔、Googleのテスト自動化マネージャみたいな人が、日本に招待されて講演後、 日本人「コスパ悪いのをどう解決してますか？」 Google「解決していないです」 日本人「え！？」 Google「？」 日本人「コスパ・・・」 Goo… https://t.co/mWGWIQ7H9p
杏ちゃんはBANされたツーラーでも内部の人間でもありません！！ 先日Twitterにて指摘したグランブルーファンタジーのステージング環境へアクセスが可能だった件についてまとめておきます。 （該当ツイートは削除済みのため画像を添付しておきます） ※ 注意 本記事中にはURLやIPアドレスが含まれます。 既に外部からのアクセスはできなくなっていますが、利用規約等を考慮しアクセスしないほうがいいと思います。 ステージング環境へのアクセス外部からのアクセスが確認できた環境は複数ありURLからおそらくステージング環境と思われます。 1. stg.game.granbluefantasy.jp 2. stgz.game.granbluefantasy.jp これらの環境は外部から「制限なく」「誰でも」アクセス可能な状態で公開されていました。 また、Googleにインデックス登録されており検索結果に表示
個人事業主や副業用でGoogleに課金するときどれ選べばいいんだよ問題（Google One プレミアム / Google Workspace Individual / Business の比較） - nomolkのブログ
前にも書いたんですけど先日からフリーランスになりました。 それで、さいきん仕事でビデオチャットを使いたい場面がありまして、よく調べるとZoom契約するよりGoogleの有料プランに入ってMeet使った方が安いしなんかオプション機能いろいろついてきてお得そう。ヨッシャ課金するか！！！！！と思ったらなんか課金プランがいっぱいあって途方にくれました。 しかも一覧性の高い比較表がなくて調べるのに苦労したので、その結果を皆さんにも共有します。 いかれたメンバーを紹介するぜ！ プランの選定条件として、下記が前提です 組織（自分以外のメンバー）を持たない個人事業主である Google Meet で3人以上のグループ通話を60分制限なしで使いたい そうすると候補になってくるのは下記3つ。 Google One プレミアム Googleドライブが容量いっぱいになると「容量を追加しましょう！」つって出てくるア
なまけるねこ @Lazy_Cat_nyan 伸びの早さ的にバズりそうなので宣伝。 ここ最近、手を変え品を変え人を騙そうとする悪意ある団体が増えています。 若者である僕が一瞬騙されかけたくらいです。ネットに疎い方達が見ればどうなってしまうかは自明でしょう。 2023-10-26 23:42:03 なまけるねこ @Lazy_Cat_nyan 自分は引っ掛からないから大丈夫、ではありません。一部の方々からお金を騙し盗った団体は、そのお金でさらにクオリティの高い詐欺をしてくるかもしれません。次の被害者はあなたかもしれない。そうならないためにも、このような広告を見た際には警察や運営に通報していただけると幸いです。 2023-10-26 23:42:03
Google 認定トレーナー/イーディーエル株式会社代表取締役 「Google 認定トレーナー」および「Google Cloud Partner Specialization Education」の2つを保有する国内唯一の女性トレーナー経営者。 数時間でITスキルを劇的に引き上げる指導に定評があり、ITビギナーから絶大な信頼を得ている。早稲田大学第一文学部（教育学専修）卒。筑波大学大学院教育研究科修了（教育学修士）。筑波大学大学院非常勤講師。アルマ・クリエイション株式会社主催「クロスセクター・リーダーズサミット」2年連続最優秀MVP（2019年、2020年）。常陽銀行主催第3回常陽ビジネスアワード「ウーマノミクス賞」379プラン中第2位（2015年）。出版社勤務を経て専業主婦になるも、学習欲が高じて大学院に進学。在学中に事業欲が高まり、IT教育会社を起業し、現在に至る。「日本に最高のIT
600ページ以上あり結構長いので方針としては第１部だけは一通り読んでみて、その先は各章結論から読んでいき、気になった部分だけ遡って拾い読みしていく戦略でいく方が良さそう。
Googleマップで川と道が重なった場所があったので現地に行ったら本当に道に川が流れていた→超秘境神社に行くためのルートで…
リンク Wikipedia 洗い越し 洗い越し（あらいごし）とは、道の上を川が流れるようにしてあるものをいう。橋を建設するには、コストや当時の技術的な理由で橋が建設できない場合、敵の進軍を想定して、そういった構造が選択される。また、森からの沢水を山側から谷側に流すために道を横切る様に作られた排水溝の機能を持たせた構造で、道の流水による侵食や崩壊を防ぐ目的がある。 日本語において「川などを歩いて渡る」ことは、漢語で「徒渉/渡渉（としょう）」、大和言葉で「かちわたり（徒渡/徒渡り、歩渡、歩行渡）」 といい、その適地は「徒渉地/渡渉地」「徒渉点/渡 19 users 15
オープンソースは誰もがヒーローになれる平等な空間 ─ 小さくてもソースコードを公開することが「チャンス」 - Findy Engineer Lab
こんにちは。mattn（@mattn_jp）です。一部の方はご存じかもしれませんが、僕は普段あまり皆さんの前に登場することはありません。どちらかというとお堅いSI業で仕事をしています。社会人になってから今まで一度も、Web業界と呼ばれるB2C（Business to Customer）な職種に転職したこともありません。 ですが、今ではOSS（オープンソースソフトウェア）を通して、多くのエンジニアと友達になり、カンファレンス等で何度かお話しする機会をいただくまでになりました。この記事では、OSSに縁遠いはずの僕が、いかにしてOSSと出会い、そして多くの方たちと知り合うチャンスを得たのかをご紹介したいと思います。 オープンソースとの出会いはVim 日本のVimコミュニティを作る VimConfで作者Bram Moolenaarと握手 Vimから得られたチャンスや出会い GoコミュニティからGo
Macの開発環境構築を自動化する 2019年夏版
私は年に 1 回、自宅と職場の 2 台の Mac をクリーンインストールでアップデートするのですが、開発環境の構築をある程度自動化しています。来年のために手順を残しておくので、参考にどうぞ。 目次 これまで 事前準備 Brewfile を作成する AppStore にログインしておく パッケージをインストール 再起動 パッケージのインストール後 Brewfile に書けるパッケージの探し方 おわりに これまで 自動化を始めたのは多分 2013 年とかその頃。使っていたツールは Brewfile に始まり、Ansible を経て、去年は rcmdnk/homebrew-file を使っていました。Ansible 時代が一番長かったと思います。2019 年のクリーンインストールの時期になり、セットアップはどうしようかと調べたところ、Homebrew/homebrew-bundle が Home
google日本語入力って劣化したね
今更の話だしPC版なんだけど 総合の「総」打つ時に苦労する 2015年辺りまでは優秀だったと記憶している
by Simon Steinberger YouTubeなどでムービーを視聴中に「5秒後にスキップできます」という表示と広告が出てきてイライラさせられた経験がある人も多いはず。Chromeに搭載された広告ブロック機能が、2020年8月5日からこうした広告をブロックすると、Googleが発表しました。 Chromium Blog: Videos with fewer intrusive ads https://blog.chromium.org/2020/02/videos-with-fewer-intrusive-ads.html Coalition for Better Ads Announces Better Ads Standard for Short-Form Video to Improve Consumer Experience Online https://www.bette
107人が死亡した雷、中国共産党に怒ってなだれ込む群衆 感情に訴えるフェイクを1分で見破る方法（古田大輔） - エキスパート - Yahoo!ニュース
インパクトのある写真を反射的にシェアしてしまったり、「マスメディアに流れない事実」を見つけてリツイートしたり。そうやってあなたが拡散した情報は、世界中で何度も繰り返し現れるデマやフェイク情報かもしれない。 実例と、そういった情報に騙されないための具体的な方法を紹介する。 何度も拡散する「インドの雷神」画像2020年6月25日、インドで落雷によって107人が死亡したというニュースが流れた。その際に、ある匿名アカウントがツイートした画像が、冒頭に掲げたものだ。 信じがたい量の雷が降り注ぐ画像は1.2万回以上リツイートされ、「これが本当の『万雷』か」「逃げ場なし」などの反応を生んだ。 結論から言うと、この画像は2つの意味で現実のものではない。 一つは、雷が落ちている写真を何枚も合成して作った写真だということ。もう一つは、2017年4月に撮影されたものであるということ。 つまり、2020年6月25
Miyamoto | DeNA Design on Twitter: "なぜかあまりネットに流れてない情報なんですけど。UXデザイン界隈では有名な「グーグルUXデザインプロフェッショナル認定証」って講座があるんですが、実はそのコース3でFigmaのEducation planの特典があります。 社会人… https://t.co/1pURyKMUCt"
なぜかあまりネットに流れてない情報なんですけど。UXデザイン界隈では有名な「グーグルUXデザインプロフェッショナル認定証」って講座があるんですが、実はそのコース3でFigmaのEducation planの特典があります。 社会人… https://t.co/1pURyKMUCt
うり/多摩 電子単行本・同人通販中 @woory_tama @alucaje 自分のPCから直接アクセスできるから自分のローカルフォルダみたいなイメージだとやばいんですね ウチもよく使うけどエロは置いてないか… 2023-09-28 11:48:54
アップルに「アプリストア」開放義務づけへ、政府が新たな巨大ＩＴ規制…他社参入促す（読売新聞オンライン） - Yahoo!ニュース
政府は巨大ＩＴ企業が運営するサービスに新たな規制を導入する方針を固めた。スマートフォンのアプリ入手に使う「アプリストア」に関し、他社のサービスも使えるようアップルに義務づける。グーグルには検索結果表示で自社サービスを有利に扱うのを禁じる。新法による規制を検討し、早ければ来年の通常国会への法案提出を目指す。 【イメージ】 アップルのアプリストアの仕組み 政府のデジタル市場競争本部の会議が６月中にも最終報告をまとめ、新規制の方向性を打ち出す方針。巨大ＩＴに取引条件などの情報開示を義務づけた２０２１年施行の「デジタルプラットフォーム取引透明化法」に続く、巨大ＩＴ規制の第２弾となる。
データ分析基盤まとめ（随時更新）
はじめに データ分析基盤の資料を力尽きるまで追記していきます。 構成図にあるアイコンや記事の内容から技術要素を調べて記載していますが、不明分は未記載にしています。修正のコメント頂ければ助かります。 あと、この記事追加してっていう要望も歓迎いたします。 テンプレート 記事公開日 : 会社名（サービス名） データソース : データ処理 : アウトプット : 画像 URL 2025年 2024/03/14 : 株式会社エス・エム・エス（カイポケ） データソース : Amazon Aurora データ処理 : Datastream、BigQuery、dbt アウトプット : Looker Studio 2024/03/12 : 株式会社マイナビ データソース : SQL Server、Amazon S3 データ処理 : Embulk、Amazon MWAA、Apache Airflow、Snowf
有能な秘書か、大ぼら吹きか 「ChatGPT」をスプレッドシートで使えるアドオンを試してみた（1/3 ページ） 話題のAIチャットボット「ChatGPT」だが、普通の人にはまだちょっと身近にはなっていない。またAIとやりとりしても「AIと会話できるのは分かった。すごいけど、だから何？」と感じる人もいる。しかし、ビジネスツールであるスプレッドシートからChatGPTが呼び出せると、景色はちょっと変わる。 新人に「このリストを調べて埋めておいて！」と依頼するような感じで、AIにちょっとした調べ物や、データづくり、問題づくりなどをさせられるようになる。UIは慣れ親しんだスプレッドシートで、依頼の文字を変更すれば自動的に内容が書き換わる。
AIの開発に欠かせない機械学習には、GPUやNPU、TPUなどの処理チップが用いられていますが、それぞれの違いは分かりにくいものです。そんなCPUやGPU、NPU、TPUの違いをGoogleやクラウドストレージサービスを展開するBackblazeがまとめています。 AI 101: GPU vs. TPU vs. NPU https://www.backblaze.com/blog/ai-101-gpu-vs-tpu-vs-npu/ Cloud TPU の概要 | Google Cloud https://cloud.google.com/tpu/docs/intro-to-tpu?hl=ja ◆CPUとは？ CPUは「Central Processing Unit」の略称で、PCでの文書作成やロケットの進路計算、銀行の取引処理など多様な用途に用いられています。CPUでも機械学習を行うこ
吉川 祐介 on Twitter: "フォロワーさんよりお教えいただいた、公図のpdfファイルを読み込ませると、GoogleMapの航空写真に透過させて表示してくれるという超絶便利なサイトで、北海道某所の原野に公図を落とし込んでみた。 こんな便利なサイトが有るなんて… https://t.co/kDVld9OTC4"
フォロワーさんよりお教えいただいた、公図のpdfファイルを読み込ませると、GoogleMapの航空写真に透過させて表示してくれるという超絶便利なサイトで、北海道某所の原野に公図を落とし込んでみた。 こんな便利なサイトが有るなんて… https://t.co/kDVld9OTC4
浦上地区 長崎市の北部の地域で、 17世紀から19世紀における潜伏キリシタンの中心地として 現代には原子爆弾の被害を受けた中心地として知られている。 歴史上、初めて浦上という名前が出現したのは15世紀。16世紀には全村がキリシタンと言われていた。17世紀に入り、キリスト教の禁教令が出たのちも、約250年間にわたって、信仰を守り通した。
ログイン読み込んでいます…
多くの人、特にMacユーザに読んでほしい「Your Computer Isn't Yours」日本語訳 - YAMDAS現更新履歴
sneak.berlin コリィ・ドクトロウのブログ（ニュースレター）Pluralistic の Digital manorialism vs neofeudalism で宣伝されているローカス・マガジンの連載記事 Neofeudalism and the Digital Manor（日本語訳）経由で知ったブログ記事である。 恥ずかしい話だが、ワタシはこの記事で書かれている最近のバージョンの macOS のおそるべきユーザ支配について、これが書かれた昨年11月に話題になっていたことを知らなかった。 しかし、このエントリのはてなブックマークを見ても、その内容を考えると数が控えめで、もしかするとワタシのように知らない人も多いのかもと思ったので、ここで紹介しておいたほうがよいと思った次第である。 最近のバージョンの macOS では、君はコンピューターの利用ログを記録されていて、ログデータを送信
Googleで『ネコ』と検索するとAR猫さんを召喚できる！ほかの動物も確認されてとても楽しい「トラ飼育NGの我が家でも放し飼いできます！」
弓矢 @yumiya_yumigon Google検索で動物名を検索すると、ARで実物大のモデルを召喚できるようになってたのね！ いつでもネコちゃんに仕事を邪魔されたり、部屋にサメを乱入させたりできるぞ！！！ pic.twitter.com/g37FSkAaPz 2019-09-29 08:29:42
by Anders Kristensen Googleの元国際関係責任者であるロス・ラジュネス氏が、2020年1月2日にGoogleを退職したことを発表しました。退職の理由についてラジュネス氏は、Googleが長年にわたって掲げてきた「Don't be evil(邪悪になるな)」というスローガンが、もはや意味を持たなくなってしまったからだと述べています。 I Was Google’s Head of International Relations. Here’s Why I Left. https://medium.com/@rossformaine/i-was-googles-head-of-international-relations-here-s-why-i-left-49313d23065 ラジュネス氏は2008年にGoogleへ入社した時のことを振り返り、「シンプルだが強力な『
この記事は削除いたしました
このURLで公開していた記事「YouTube著作権「虚偽申請」の闇 赤の他人が収益をかすめ取る...その手口とは？」は、2020年10月29日をもって削除いたしました。詳細は、 J-CASTニュース「YouTube著作権『虚偽申請』」記事についてのお詫び をご覧ください。誠に申し訳ありませんでした。 （J-CASTニュース編集部）
くら寿司：GKE や Edge TPU などを駆使して来店から会計までを完全自動化し、新しい生活様式のためのサービスを提供 | Google Cloud 公式ブログ
くら寿司：GKE や Edge TPU などを駆使して来店から会計までを完全自動化し、新しい生活様式のためのサービスを提供 大阪を起点に日本全国 47 都道府県すべてに店舗を展開する大規模回転寿司チェーンくら寿司株式会社（以下、くら寿司）。浅草や道頓堀、原宿、押上に「食」と「エンターテイメント」の融合を掲げ、「ジャパンカルチャー」の発信拠点とするグローバル旗艦店をオープンするなど、とりわけ “体験” にこだわる同社が、最新のクラウド テクノロジーをどのように活用しているのか。その取り組みと成果を、テクノロジー開発部の皆さんに伺いました。 利用しているサービス： Google Kubernetes Engine、Compute Engine、App Engine、Edge TPU 利用しているソリューション： アプリケーションのモダナイゼーション コンテナや AI など Google Clo
日本政府の共通クラウド基盤として、デジタル庁が進めている「ガバメントクラウド」。10月には「Amazon Web Services」と「Google Cloud Platform」の採択を発表し、これらを活用したマルチクラウド環境に同庁のWebサービスなどを構築・移行する方針を示した。 この発表に対し、ネット上では「なぜ国産クラウドではないのか」「日本の産業を育成する気はないのか」といった意見が続出。匿名掲示板「2ちゃんねる」の開設者・西村博之（ひろゆき）さんも「自分ならさくらインターネットやGMOなど日本の事業者のクラウドを標準にする」とABEMA TVの報道番組で発言するなど、海外のIaaSを採択したデジタル庁の判断を疑問視する声がみられた。 一方、IaaS「さくらのクラウド」を提供するさくらインターネットの田中邦裕社長は、国産IaaSが採択されなかったことについて「日本のIaaSベン
LIXILはDX（デジタルトランスフォーメーション）を推進するため、米Google（グーグル）のノーコード開発ツール「AppSheet（アップシート）」を採用した。2022年7月29日時点で、2万個を超えるアプリケーションを内製し、このうち839個を本番運用している。AppSheet活用の狙いについて、同社の岩﨑磨常務役員デジタル部門システム開発運用統括部リーダーは「（情報システム部門に該当する）デジタル部門が開発すべきシステムやアプリにフォーカスできるようにする」と語る。 LIXILがAppSheetを導入した背景には、デジタル部門の負荷増大があるという。「社内でデジタル技術の活用が進んだことにより、デジタル部門が社内の全ての案件に対応するのが難しくなってきている」（岩﨑常務役員）。そこで経営レベルで費用対効果の大きいシステムやアプリをデジタル部門が開発し、小さいものは現場が自ら開発する
米グーグルのスマートフォン「Pixel（ピクセル）」が存在感を高めている。独自機能や割安感が受け、5月単月の国内シェアは米アップルに次ぐ2位だった。国内スマホ市場で縮小と淘汰が進む中、基本ソフト（OS）を手掛ける米2強が争う構図が強まる。「（グーグルのOSを載せた）アンドロイド端末を使うのは初めて。写真編集機能や手ごろな価格が気になっていた」。横浜市の50代の男性会社員は5月中旬、ビックカメラ
KubernetesをGoogleが開発し、オープンソース化し、成功した経緯。関係者らが肉声で語るドキュメンタリー映像「Kubernetes: The Documentary」YouTubeで公開
KubernetesをGoogleが開発し、オープンソース化し、成功した経緯。関係者らが肉声で語るドキュメンタリー映像「Kubernetes: The Documentary」YouTubeで公開 ITエンジニア向けの転職紹介などキャリアサービスを提供しているHoneypot社は、Google、Red Hat、Cloud Native Computing Foundationの協力の下、Kubernetesの誕生から現在までをドキュメンタリー映像としてまとめた「Kubernetes: The Documentary」をYouTubeで公開しています（Part 1、Part 2）。 Do you know the story of @kubernetesio? Hear the details of how the project came to be from those who live
個人的なタスク管理ツールとしてGitHub Issueを使うようにしてその仕組みを色々と作っているので、そのアーキテクチャについてのメモ書きです。 後述しますが、GitHubをベースとすることでプログラムでの拡張性が高いというのが特徴です。 セットアップが色々と必要になるためぱっと再現しやすい感じではなかったり一部未公開になってます。 需要があったらオープンソースとして公開できるように整えます。 GitHub Issuesとタスク管理ツールでの課題 自分の中で、タスク管理ツールとGitHub Issuesを両方使う場合に次の課題がありました。 自分のタスクの半分以上はGitHubに何かしら紐づく情報(オープンソース、ブログ、仕事)であったため、GitHub Issueとの二重管理感がある GitHub上で複数のリポジトリのタスクを管理するのが難しい 1つ目は、タスク管理ツールを使っても結局
『ビビッドアーミー』などの悪質広告は規制されるべきではないか。ゲームを破壊する悪質広告問題 - ゲームキャスト
近年、スマホ向け、ブラウザ向け広告にゲーム内容と実際が異なる悪質な広告が増えていっている。今回『ビビッドアーミー』がそういった広告を自らネタにし始めた様子を見て、これが一般的になると問題があると感じているため、『ビビッドアーミー』などの用いる悪質広告・それに便乗した炎上商法を規制するべきではないかという話をここで行っていきたい。 悪質広告とは？ 悪質広告とは、実際にゲームにかけらも登場しない要素を前面に押し出してプレイヤーを獲得する広告方法。Twitterなどでは“広告詐欺”と言われるが、正しいゲームの内容を伝えない質の悪い広告ということでここでは“悪質広告”とする。 スマートフォンでは『FF15新たなる王国』あたりから話題になったので、ご存じの方も多いだろうか。広告を見てゲームを始めると、いくらプレイしても広告で見た内容が登場しなかったり、ゲーム要素として登場せずに騙されるという問題だ。
前書き お祈りから半年以上経っても未だに悲しみが癒えないので、各方面からの圧力もあって、記録を残しておこうと思います。 以下は色々とぼかした自己紹介です。 計算機科学専攻に所属してアルゴリズム・計算量などを研究していました (2020/03 修士課程修了) 趣味で競技プログラミングをやっていて国際大会 (Google 主催の某など) に行ったりしました ソフトウェア開発の知識・経験は少々 某社でインターンシップ (+ 延長アルバイト) 1 回です 英語は TOEFL iBT 80-90 程度です 時系列 4月上旬 応募 4月下旬 オンラインテスト 朝・夕方の 2 回のテストがあるのでどちらかに参加します 簡単なアルゴリズム・データ構造の問題が出ます 数日で結果通知でした 5月上旬 無。 5月下旬 無。 6月上旬 電話面接 これは色々と連絡ミスがあって遅れました Google Hangout
Drive Capital was founded by two former Sequoia Capital Partners looking to start anew in the Midwest. But investors in the Columbus, Oh.-based firm have had a bumpy ride of late, and according to our
米Googleはこのほど、Google フォトやGmail、Google ドライブを長期間使わずに放置しているアカウントや、規定の保存容量をオーバーしたまま使い続けているユーザーの保存データを削除すると発表した。2021年6月にポリシーを変更する。 2年以上使われていないサービスの全データを削除する。例えば、GmailとGoogle ドライブは使っているが、Google フォトは使っていないというユーザーの場合は、Google フォト内のデータを一括削除する。 Google アカウントは15GBまでの保存容量が無料で提供されているが、保存容量の上限を超えたまま2年以上、空き容量の確保や追加の保存容量の購入などを行わずにいると、全てのデータが削除される可能性があるという。 削除の3カ月以上前にメールで通知する。追加容量の購入や定期的なログインといった回避策や、データのダウンロード方法を案内す
読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog
論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』（世界思想社、1991年（新装版2021年））も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる（他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる）。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい（あとは自分で考えるから）》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【マンガ】仕事ができない人は「ググる技術」が圧倒的に足りていない
グランブルーファンタジーのステージング環境について｜anzu chang｜note
最近のYouTube広告怖すぎる→手を変え品を変え人を騙そうとする悪意ある団体が増えてる
【9割の人が知らない Google の使い方】世界最高峰のAIから無料で英語を習う方法
Googleのソフトウェアエンジニアリング - 技術メモ
Chromeが「5秒後にスキップできます」などのムービー広告を2020年8月からブロック開始
グーグルドライブに同人誌や資料データをいれておいらたアカウントが凍結された話
https://jp.techcrunch.com/2022/03/15/2022-03-14-inflation-is-real-google-cloud-raises-its-storage-prices/
有能な秘書か、大ぼら吹きか 「ChatGPT」をスプレッドシートで使えるアドオンを試してみた
「CPU」「GPU」「NPU」「TPU」の違いを分かりやすく説明するとこうなる
長崎原爆と浦上天主堂 - Google Arts & Culture
『京都でのALS患者の嘱託殺人容疑事件』に関してーハワイ在住緩和ケア医による個人的見解.pdf
Googleの元国際関係責任者が退職、「Googleは邪悪になってしまった」と退職の理由やGoogleの内情を暴露
「ガバメントクラウド」に国産IaaSが不在だったワケ さくら田中社長に聞く日本ベンダーの課題
ノーコードでアプリ内製進めるLIXIL、2万個超えでも「野良」を生まない仕組み
Google Pixel、スマホ国内2位に浮上 安さでiPhone追う - 日本経済新聞
GitHub Issuesを個人用のTodo管理アプリとして使っている
Google に半年かけて丁寧にお祈りされた回 - もふろぐ
サードパーティ製「Twitter」アプリが利用できなくなるトラブルが発生中【14時10分追記】／有志が利用可否をまとめた「Google スプレッドシート」を公開中
TechCrunch • Startup and Technology News
Google、放置アカウントの保存データ削除へ 2年利用がないフォト、Gmail、ドライブが対象