並び順

ブックマーク数

期間指定

  • から
  • まで

321 - 360 件 / 15577件

新着順 人気順

googleの検索結果321 - 360 件 / 15577件

  • 科学的発見が誇張→曲解→誤解→蔓延するメカニズムの図解と簡単で効果抜群の2つの対策|ふろむだ@分裂勘違い君劇場

    科学的発見が私たちに届くまでの伝言ゲームで、さまざまな誇張・曲解・誤解が注入されています。 いったい、どうやったら、この伝言ゲームに勝ち、信用できる科学的発見と、地雷とを見分けることができるのでしょうか? 『Science Fictions』という本がその参考になります。 この本は、アメリカのamazonで306人に評価され、☆4.6という高評価。 世界最大の書評サイトgoodreadsでは1925人に評価され、☆4.39という高評価。 日本のamazonでは31人に評価され、☆4.0と、中程度の評価(翻訳は良い)です。 この記事では、この本を元に、以下の2つの視点から、この問題と、その解決策を検討します。 〔問題の把握〕 科学的発見の流通システムにおいて、いかにして、発見が誇張され、曲解され、誤解され、流通し、最終的に私たち一般人がそれを信じてしまうのか、その全体像を把握する。 〔解決策

      科学的発見が誇張→曲解→誤解→蔓延するメカニズムの図解と簡単で効果抜群の2つの対策|ふろむだ@分裂勘違い君劇場
    • 「Googleの組織的強さ」ってどこにあると感じますか?ちなみに、日本の会社にそれに近い強さ、をもつ会社はありませんでしょうか。 | mond

      「Googleの組織的強さ」ってどこにあると感じますか?ちなみに、日本の会社にそれに近い強さ、をもつ会社はありませんでしょうか。 眼の前の仕事を上手くやる、という技芸レベルの話では実はそれほど他社との決定的な差はなく、組織として上手く行ってるのはとにかくスケールする事を意識しているのがポイントではないかと思っています。 組織構造のデバッグが上手仮に全社員が優秀で与えられたタスクを誠実にこなしていても、組織を大きくしていくと部署間で細かい矛盾が起きたり正義が衝突することは珍しくありません。また衝突しなくても特定の問題を解決する部署が事実上存在しなかったり問題自体が放置される事は一般的な組織において珍しくありません。 Googleが組織として上手くやっているなと感じるのはそういった組織内での矛盾を早期に見つけて自発的に解決しようとし続けているという点です。技術の創造と設計という本から図を引用し

        「Googleの組織的強さ」ってどこにあると感じますか?ちなみに、日本の会社にそれに近い強さ、をもつ会社はありませんでしょうか。 | mond
      • ぼくのかんがえたさいきょうのGAS開発手法2023

        前提clasp の制約、Script API の考え方、Google Drive の考え方に素直に従うその条件下である程度モダンな開発環境での開発を目指す 可能ならコードは VCS で管理する(pull-req など)ドキュメントベースで共同作業に向いた手法で開発を進める特にカジュアルに始めやすい Google Apps Script は悪い意味での属人化まっしぐらになりやすい。これが長期間の業務に影響しないような、ワンショットのものなら別にそれでもよいが、これが誰かに引き継がなければいけないような状況が生まれると一気に地獄みが増してしまうので、そうなってしまう前により良い開発手法を考えておきたい。 考慮したことGAS は素朴に作ると Script 本体の構造がそれを利用する container (例えば Spreadsheet)のデータ構造などと密結合になってしまう。この状態のままコード

        • ツーリング雑誌編集長がこっそり教える房総半島の穴場ドライブスポット10選!半島南部の絶景、ご当地グルメなど徹底紹介 #くるまも - くるまも|三井住友海上

          こんにちは。ちょっとディープな日本全国の旅をお届けするツーリング雑誌『モトツーリング』の編集長、神田英俊です。 この雑誌は隔月で発刊中の旅雑誌ですが、日本全国の穴場的秘境や絶景ロードや郷土グルメといった旅情報をお届けしています。記事をつくるにあたっては、必ず現地で実走取材を行い、地域の知られざる郷土文化や道路史といった少々ニッチな部分も合わせてお伝えするべく、日本中を走り回っています。 本稿は、そんな僕が、ぜひ足を運んでいただきたい房総半島のオススメスポットの紹介です。今回は都内からもアクセスしやすく潮風を感じる爽やかな半島南部に焦点を絞り、内房(東京湾沿岸)と外房(太平洋沿岸)の2エリアに整理し、週末の日帰りドライブでも抜群の充実感を楽しめる、ちょっと穴場なポイントを厳選しました。 厳選ドライブスポットお品書き 海と山と断崖と! 絶景&観光スポット×6 鋸山は「地獄覗き」だけじゃない!

            ツーリング雑誌編集長がこっそり教える房総半島の穴場ドライブスポット10選!半島南部の絶景、ご当地グルメなど徹底紹介 #くるまも - くるまも|三井住友海上
          • Google Analytics 4 で正しく理解しておくと安心な「指標」8選(寄稿:小川卓) - はてなビジネスブログ

            株式会社HAPPY ANALYTICSの小川卓(id:ryuka01)です。 Google Analytics 4 の本格利用がGoogle Analytics終了とともに始まり、多くのサイトや企業が移行を完了したと思われます。しかしGA4は新しい計測形式になり、混同しやすい内容が増えました。特に今までGAを使っていた人ほど、誤った理解で設定を行ったり、数値の定義を間違えて理解してしまいます。 そこで今回は誤った理解をされがちな数値を8個まとめてみました。普段なにげなく使っている指標も実はこんな仕様だった!というのを理解しておくと、適切な指標を選んだり、説明できたり出来るようになります。 みなさんが正しく仕様を理解できているかを1つずつチェックしながら、ぜひ本記事をご覧ください。 「設定」編も参考にしてみてください。 Google Analytics 4 でミスされやすい・誤解されやすい「

              Google Analytics 4 で正しく理解しておくと安心な「指標」8選(寄稿:小川卓) - はてなビジネスブログ
            • GitHub Projects を利用したタスク管理 - 一休.com Developers Blog

              宿泊開発チームでエンジニアをしている @itinao です。 昨年の10月に入社しました。 今回は GitHub Projects を利用したタスク管理について記載します。 なんとなーく GitHub Projects 使うと、KANBANにしてみたり リストにして使ってみたり で終わってしまいます。 もっと色々できるんだよってことが伝えられればと思います。 背景 どんな機能があるか Custom Fields Views Group by Slice by Workflows ISSUEと Pull requestの紐づけ Insights タスクの進め方 タスクの洗い出し 見積もり 現状の課題と今後の展望 まとめ さいごに 背景 一休ではチームごとにタスクの管理方法が違い、 Google Spreadsheet・GitHub Projects・Jiraなど、チームごとにタスク管理の方法

                GitHub Projects を利用したタスク管理 - 一休.com Developers Blog
              • 英語の学術論文をChatGPT-4で執筆する際の手順メモ|Kan Hatakeyama

                はじめに英語の論文をGPT4に執筆させた際の手順を記します。 普段からChatGPTを使っている人にとっては、当たり前のやり取りしかしていないのですが、意外と使えていない方がnon-AI分野では多いので、丁寧にプロンプトを示していきます。 (ワークショップで解説する必要が出てきたので、そのためのメモ書きです) GPT-4に論文は書けるのか?ゼロから書かせるのは難しいですが、日本語の下書きを英訳するのは得意で、少なくとも筆者が満足する品質のテキストが得られます。 GPTを使って執筆をするメリットDeepLやGoogle翻訳と違い、英文のスタイル(e.g., 論文調)を明示的に指示できるので、翻訳のクオリティが高い 日本語ネイティブにとっては、日本語で書いた方が圧倒的に楽※ スペルミスや文法ミスを犯さないので、校正の手間も減る。※ 基本的に翻訳タスクしか行っていないので、GPTが過去の類似文章

                  英語の学術論文をChatGPT-4で執筆する際の手順メモ|Kan Hatakeyama
                • 家は人生で一番高いガジェット。ずっと最新技術で遊べる「アップデートできる家」を目指した【エンジニア、家を建てる】 - MY HOME STORY │スーモカウンター注文住宅

                  東京近郊に戸建てを建てたHiroakiさん。遮光用のスクリーン、リビングの照明、全館空調の温度など、さまざまな設備をコントロールできるスマートホームです。 将来的に最新技術を遊び倒せる「アップデートできる家」にしたいと考え、各種ケーブルの空配管や電気自動車(EV)の電源などを確保しているのもポイント。 職業柄、「よりよいもの」や「よりよい環境」を求める方が多いエンジニアの家づくりを紹介する「エンジニア、家を建てる」第7回です。 はじめまして、Hiroakiと申します。共働きの夫婦(私40代、妻30代)と子ども2人(長男4歳、長女0歳)の4人家族で暮らしています。 私は10年ほど自動車業界に携わっており、現在はソフトウェアプラットフォーム開発チームのエンジニアリングマネージャー(EM)をしています。 これまで国内外さまざまな場所に暮らして仕事をしてきたのですが、子どもの成長につれて定住を考え

                    家は人生で一番高いガジェット。ずっと最新技術で遊べる「アップデートできる家」を目指した【エンジニア、家を建てる】 - MY HOME STORY │スーモカウンター注文住宅
                  • Apple PayからFeliCa系決済サービスが消える日

                    米国でのリリースから2年、日本にApple Payが上陸したのは2016年10月のこと。当時、日本国内ではクレジットカードの“タッチ”による非接触決済が一般的ではなかったため、日本版Apple Payでは他国にはない特殊な仕組みが導入された。 日本国内における非接触決済といえば、FeliCaを使ったSuicaなどの「交通系IC」や「楽天Edy」、ドコモと三井住友カードによる「iD」、JCBの「QUICPay」、そして流通系事業者が提供する「nanaco」「WAON」といったサービスが主流だった。 日本版Apple Payにおいては、非接触によるリアル店舗決済のために交通系IC、iD、QUICPayを採用し、特に同サービスにクレジットカードを登録した場合にはiDまたはQUICPayのいずれかが非接触決済として利用可能とした。 他国では、例えばMastercardブランドのクレジットカードをA

                      Apple PayからFeliCa系決済サービスが消える日
                    • パスキーに入門してみた話 - Qiita

                      久しぶりの投稿です。 はじめに 昨今、様々なサイトがどんどんパスキーに対応しはじめてきました。 まだまだパスキーがデフォルトになっていくには時間が掛かりそうですが、どのような仕組みでパスキーを実装するのか、早めにキャッチアップしておくのも悪くないと思い、パスキーについて色々と調べてみました。 パスキーとは? パスワードの代わりに、自分の持つデバイスによる生体認証やパターンを用いて認証を行う方法のことです。 次世代認証技術であるFIDO(Fast IDentity Onlineの略で、「ファイド」と呼びます)を使った認証方式(詳細は後述)で、Apple、Google、MicrosoftがFIDOを普及させるために命名したブランド名になります。 FIDOとは? 脆弱なパスワードは安全ではありません。 2段階・2要素認証を採用してもそれを有効にするユーザーは少なく、昨今では2段階認証を突破する攻

                        パスキーに入門してみた話 - Qiita
                      • Sakana AI

                        We are building a world class AI research lab in Tokyo, Japan. We are creating a new kind of foundation model based on nature-inspired intelligence. For more information, please visit our blog and careers page, or contact info@sakana.ai

                          Sakana AI
                        • Gboard チームからの新しい日本語入力方法のご提案 2023

                          Gboard は、優れた変換性能にくわえて、お好きな写真を背景にできるテーマ機能、音声入力や外国語への翻訳機能などの便利な機能をそなえたキーボード アプリです。 Android と iOS のどちらでもご利用いただけます。 Gboard を開発するチームは、いつでもどこでも思いどおりの文字入力を提供すべく、日々努力を重ねています。私たちは、ユニークな文字入力環境を実現するために、これまでにもさまざまなキーボードやデバイスを提案してきました。 そして今年もこれまでのキーボードと同様に、実際にみなさまに作っていただける DIY キーボードをご紹介します。 手に馴染んだキーボードを持ち歩きたいのに手が塞がってしまっていて持ち歩けない。そのような問題を解決しようと、今回は肌身離さずに持ち運びやすいキーボードのために頭を使いました。持ち運びやすさだけではなく、機能性や造形も頭に入れて開発しました。

                            Gboard チームからの新しい日本語入力方法のご提案 2023
                          • 「マッチングアプリ」に疲れて「Googleドキュメント」に移行する人々が増加中 | もうスワイプする必要はない

                            シンプルに自己アピールで勝負 ソフトウェアエンジニアのコニー・リー(33)は昨年、恋人と別れた後、ふたたびマッチングアプリを使うようになった。しかし、そこで出会った男性の多くはカジュアルな関係を求めているようだったので、彼女は違う方法を試してみることにした。 それは、記事1本分ほどもある長い履歴書のようなプロフィールを書くことだった。デート相手を探すために、レジュメのような長い自己紹介文を他人がオンラインで公開しているのを見たことがあったのだ。

                              「マッチングアプリ」に疲れて「Googleドキュメント」に移行する人々が増加中 | もうスワイプする必要はない
                            • HTTP/3|Webエンジニアが知るべき新常識 ─ QUICやコネクションマイグレーションなどを学ぶ|ハイクラス転職・求人情報サイト AMBI(アンビ)

                              HTTP/3|Webエンジニアが知るべき新常識 ─ QUICやコネクションマイグレーションなどを学ぶ 新しい通信プロトコルとして普及が進んでいるHTTP/3については、エンジニアHubでも過去に概論的な記事を掲載しています。今回はアプリケーション開発者が自社サービスでHTTP/3を採用することを想定して、仕様上の留意点や、どのように使い始めるか、そしてサイトを制作する際に注意しておきたいポイントまでを藤吾郎(gfx)さんに解説していただきました。 本記事ではHTTP/3およびその通信プロトコルであるQUICを、アプリケーション開発者として活用する立場で入門します。HTTP/3は、HTTP/1.1とHTTP/2に続く新しいメジャーバージョンのHTTPプロトコルです。HTTP/3はHTTP/1.1およびHTTP/2を置き換えるポテンシャルを持っています。将来的にほとんどのインターネットトラフィ

                                HTTP/3|Webエンジニアが知るべき新常識 ─ QUICやコネクションマイグレーションなどを学ぶ|ハイクラス転職・求人情報サイト AMBI(アンビ)
                              • 母校の大阪市立大学(大阪公立大学)の大学生からTwitterで「ガイジ」「池沼」などの誹謗中傷を受けたので慰謝料請求事件として民事訴訟で裁判を起こして勝訴した話|あると

                                母校の大阪市立大学(大阪公立大学)の大学生からTwitterで「ガイジ」「池沼」などの誹謗中傷を受けたので慰謝料請求事件として民事訴訟で裁判を起こして勝訴した話 一度は削除しましたが、このようなことが二度と起きてほしくない、起きてはならないという思いから、また、証拠の保全を目的として、この記事を再び公開することにしました。 この記事は有料に設定していますが、無料で全文が読めます。なお、字数は全体で40,000を超過しています。 事の発端 「ホームレスを支援するのは”無駄”なのか?」 2022年8月17日(水)の、日付が変わる直前。社会的弱者の排除を支持するツイートを目にした私は、ふと疑問に思い、何気なくツイートをした。そして、この投稿から全てが始まった。 当時、相互フォローをしていた、私が卒業した大阪市立大学(大阪公立大学)に在籍する法学部生のlaw害(ろうがい)氏(@aaaa_sogg)

                                  母校の大阪市立大学(大阪公立大学)の大学生からTwitterで「ガイジ」「池沼」などの誹謗中傷を受けたので慰謝料請求事件として民事訴訟で裁判を起こして勝訴した話|あると
                                • 個人事業主や副業用でGoogleに課金するときどれ選べばいいんだよ問題(Google One プレミアム / Google Workspace Individual / Business の比較) - nomolkのブログ

                                  前にも書いたんですけど先日からフリーランスになりました。 それで、さいきん仕事でビデオチャットを使いたい場面がありまして、よく調べるとZoom契約するよりGoogleの有料プランに入ってMeet使った方が安いしなんかオプション機能いろいろついてきてお得そう。ヨッシャ課金するか!!!!!と思ったらなんか課金プランがいっぱいあって途方にくれました。 しかも一覧性の高い比較表がなくて調べるのに苦労したので、その結果を皆さんにも共有します。 いかれたメンバーを紹介するぜ! プランの選定条件として、下記が前提です 組織(自分以外のメンバー)を持たない個人事業主である Google Meet で3人以上のグループ通話を60分制限なしで使いたい そうすると候補になってくるのは下記3つ。 Google One プレミアム Googleドライブが容量いっぱいになると「容量を追加しましょう!」つって出てくるア

                                    個人事業主や副業用でGoogleに課金するときどれ選べばいいんだよ問題(Google One プレミアム / Google Workspace Individual / Business の比較) - nomolkのブログ
                                  • 最近のYouTube広告怖すぎる→手を変え品を変え人を騙そうとする悪意ある団体が増えてる

                                    なまけるねこ @Lazy_Cat_nyan 伸びの早さ的にバズりそうなので宣伝。 ここ最近、手を変え品を変え人を騙そうとする悪意ある団体が増えています。 若者である僕が一瞬騙されかけたくらいです。ネットに疎い方達が見ればどうなってしまうかは自明でしょう。 2023-10-26 23:42:03 なまけるねこ @Lazy_Cat_nyan 自分は引っ掛からないから大丈夫、ではありません。一部の方々からお金を騙し盗った団体は、そのお金でさらにクオリティの高い詐欺をしてくるかもしれません。次の被害者はあなたかもしれない。そうならないためにも、このような広告を見た際には警察や運営に通報していただけると幸いです。 2023-10-26 23:42:03

                                      最近のYouTube広告怖すぎる→手を変え品を変え人を騙そうとする悪意ある団体が増えてる
                                    • 共産党の内部統制と民主集中制と志位委員長

                                      2年前の衆院選において、吉良よし子日本共産党常任幹部会員が述べた表現規制発言について「共産党の良く分からん奴」、「こんな女性議員のちょっとした発言」などとして共産党全体の問題とはしない擁護が見られた(https://anond.hatelabo.jp/20231126202929) だが、共産党員が外部に対して意見を表明する場合、党の意に反した発言をすることができない。これを民主集中制という。(https://anond.hatelabo.jp/20230212205420) はてなにおいてもとある共産党員のブロガーが除名に追い込まれたことで、一部で話題になった。(https://m-dojo.hatenadiary.com/entry/2023/09/07/015416) では、民主集中制が具体的にどういうものなのか、志位委員長はそれにどう向き合ってきたのかを、志位委員長が書いた論文「変

                                        共産党の内部統制と民主集中制と志位委員長
                                      • ググるより早い。ぼくがたくさんのAIで調べ物する理由

                                        ググるより早い。ぼくがたくさんのAIで調べ物する理由2023.12.30 22:0055,923 西谷茂リチャード 編集部 web検索だけじゃ、見つけにくい知識にアクセスできる。 メディアの仕事をしていると、1日のかなりの割合を「調べもの」が占めるようになります。ウェブ検索でかなりスピードアップして...いまは2023年。 新しい「調べ物」ツールとして、AIが頭角を現し始めました。おかげで調べるスピードが今まで以上にアップしたと感じています。ここでは、僕がどのようにAIを使っているのか、かんたんに紹介しますね。 ちょっとした調べもの調べものの中には、「去年のXperiaのカメラの画素数は?」みたいに明確な答えが決まっているものがあります。実際にこれをウェブ検索で調べた場合、検索結果のページをいくつか読む必要がありますよね。 Perplexityそこで便利なのが、AIチャットサービスのPer

                                          ググるより早い。ぼくがたくさんのAIで調べ物する理由
                                        • グーグルドライブに同人誌や資料データをいれておいらたアカウントが凍結された話

                                          うり/多摩 電子単行本・同人通販中 @woory_tama @alucaje 自分のPCから直接アクセスできるから自分のローカルフォルダみたいなイメージだとやばいんですね ウチもよく使うけどエロは置いてないか… 2023-09-28 11:48:54

                                            グーグルドライブに同人誌や資料データをいれておいらたアカウントが凍結された話
                                          • DeepLを超えるやさしい翻訳アプリとGPTsを作りました

                                            DeepLを超えるやさしい翻訳アプリとGPTsを作りました 苦手な分野の英文を理解するのを助けてくれます。 なぜ翻訳アプリを作ったのか 私は最近ChatGPTのような大規模言語モデルに興味があり、AI開発者の方や、大規模言語モデル関連の情報を発信している方をフォローしていました。 すると最新の論文(英語)や英語のツイートが次々に流れてくるのですが、それらをGoogle翻訳したり、DeepLで翻訳しても、意味不明な場合が多いということに気づきました。 特に海外の方の1行だけのツイートなどは、DeepLで翻訳しても全く意味がわからない場合が多くて困っていました。 AI関連の論文は専門用語が多く、いちいち調べながら読んでいると、1日の大半の時間が情報収集だけで終わってしまいます。 これは要するに「自分の専門分野でない分野の英文を理解するのは大変」ということなので、例えば「Web制作初心者の方が海

                                              DeepLを超えるやさしい翻訳アプリとGPTsを作りました
                                            • データ分析基盤まとめ(随時更新)

                                              はじめに データ分析基盤の資料を力尽きるまで追記していきます。 構成図にあるアイコンや記事の内容から技術要素を調べて記載していますが、不明分は未記載にしています。修正のコメント頂ければ助かります。 あと、この記事追加してっていう要望も歓迎いたします。 テンプレート 記事公開日 : 会社名(サービス名) データソース : データ処理 : アウトプット : 画像 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

                                                データ分析基盤まとめ(随時更新)
                                              • 「JAPAN」で画像検索すると出てくるあの場所はいったいどこなのか?

                                                あの富士山はどこからの眺望? さっきから「あの、あの」としきりに言っているけれども、ピンとこない人も多いかもしれないので、検索した画像を見てほしい。Googleがこちら。 Google画像検索の結果。赤で囲った部分が「あの」風景の写真 ついでにBingの画像検索だとこちら。 Bingの画像検索結果 平等院鳳凰堂や金閣寺、東京タワー、姫路城、歌舞伎町、宮島あたりの、われわれでもどこかわかるような超有名ランドスケープに混じって、いったいどこからの風景かよくわからない「富士山をバックにした五重塔の景色」がかなりの確率で混じっていることがわかる。 富士山が見えているから、山梨か静岡だろうことは想像できるが、どこからの風景なのか、ビシッと答えられる人はあまりいないだろう。 調べると、この景色は山梨県富士吉田市の新倉山浅間(あらくらやませんげん)公園からの眺望らしい。 Googleの画像検索で出てきた

                                                  「JAPAN」で画像検索すると出てくるあの場所はいったいどこなのか?
                                                • GPT-3.5-TurboとGPT-4-Turbo、Claude2、Claude3(Haiku)、Claude3(Sonnet)、Claude3(Opus)、Gemini Pro、Gemini Ultraに同じ質問をして、回答結果を比較してみた - Qiita

                                                  GPT-3.5-TurboとGPT-4-Turbo、Claude2、Claude3(Haiku)、Claude3(Sonnet)、Claude3(Opus)、Gemini Pro、Gemini Ultraに同じ質問をして、回答結果を比較してみたPythonAWSAzureOpenAIGoogleCloud はじめに GPT-3.5-TurboとGPT-4-Turbo、Claude2、Claude3(Haiku)、Claude3(Sonnet)、Claude3(Opus)、Gemini Pro、Gemini Ultra(Gemini Advanced)に同じ質問をして、回答結果を比較してみました。 Gemini Ultra以外のモデルはPythonコード上から実行し、Gemini UltraはGemini Advancedのチャット上で実行しています。 各モデルの詳細は以下のとおりです。 G

                                                    GPT-3.5-TurboとGPT-4-Turbo、Claude2、Claude3(Haiku)、Claude3(Sonnet)、Claude3(Opus)、Gemini Pro、Gemini Ultraに同じ質問をして、回答結果を比較してみた - Qiita
                                                  • 読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog

                                                    論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』(世界思想社、1991年(新装版2021年))も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる(他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる)。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい(あとは自分で考えるから)》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち

                                                      読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog
                                                    • Webサービスを作るときのテンプレートを作った - hiroppy's site

                                                      週末に自分がよく使っている技術をまとめたら反応が良かったので、テンプレートを作りました。 なにかWebサービスを作るときに、自分はこれらのライブラリを基本的には入れます。 ベースはcreate-next-appとなりますが、そこで生成された状態だと認証もDBも何もありません。 しかし、サービスを作るにあたって必要なケースがほとんどです。 このテンプレートには特定のライブラリを入れると毎回書かないといけない項目等を事前に作っておき、 開発に集中できる仕組みを作るのがゴールとなります。また、例を示しつつ削除するコード量を最小限に抑えます。 主にNext.js固有のハマるポイントや環境構築などめんどくさいけど毎回書いている点をカバーします。 linterと関連があるVSCode, pre-commit等の設定NextAuthに指定されたDB Schemaの作成やAPI routeの設置開発、テス

                                                        Webサービスを作るときのテンプレートを作った - hiroppy's site
                                                      • Google Apps Script は、もはやエンジニアが書かない方がいいまである

                                                        ラブグラフでエンジニアをしています横江 ( @yokoe24 ) です。 ラブグラフでは、エンジニア以外で Google Apps Script (GAS) を書く方も多く、 Slack通知の自動化など、業務の効率化がおこなわれています。 マジですごいと思います! GASをエンジニア以外が書く問題点 一方で、コードを見るとプログラマーからするとムズムズするところもあります。 変数名に snake_case が混ざっている インデントが揃っていない for文の中で getValue() を回している Google Apps Script の getValue() メソッドはコストが高く、何度も実行するとタイムアウトの可能性が高まる == で比較している double quotes " と single quotes ' が混ざっている こういうコードを見ると直したくてウズウズしてしまいます。

                                                          Google Apps Script は、もはやエンジニアが書かない方がいいまである
                                                        • アサクリ・弥助騒動問題点箇条書き 自分用備忘兼ねて

                                                          新聞とかに取り上げられたので、今まで騒動を追ってない人まで、話題に入ってくるようになったみたいなので、なぜここまで炎上しているのか箇条書きで書いてみる。備忘兼ねて。 ■アサクリ本体の問題 ・ゲーム内容がフィクションでファンタジー色強めであるにもかかわらず、史実に忠実であることをインタビュー等で強調してしまったこと →結果的にファンタジーを史実であると言った状態になってしまった ・リサーチをちゃんとしたと言ったにもかかわらず、杜撰な日本描写で文化に対する扱いが粗雑 →季節外れの農作物や、おかしな畳、変な屋敷や城、鎧兜のおかしな描写、神道と仏教の混同、家紋の上下反転 etc... ・コンセプトアートがGoogle画像をトレースしたかAIで作成したかのような奇妙な作りであること →ガードレールや軽トラックを描写、中国の仏像を左右反転で使用、日本にいない尻尾の長い猿、江戸時代ではなく明治の写真のト

                                                            アサクリ・弥助騒動問題点箇条書き 自分用備忘兼ねて
                                                          • 「港区女子」小史|✨わん🐶にゃん😺癒し動画✨

                                                            しばらく前に「港区女子」が話題になったときに、その由来について少し調べていてまとめかけていたことがあったが、先に別の記事が出たためお蔵入りさせていた。しかしまた話題になっているようなので、少し筆を入れて今回公開する。 “港区女子”はいつからあるのか"港区女子"の検索頻度をGoogle Trendsで調べると、2015年ころから徐々に増え始め、2017~2018年にブレイクし、その後も継続的に検索ボリュームが増えてきた言葉だと分かる。 Google Trends "港区女子" vs "キラキラ女子"“港区女子”という言葉はイメージにぶれがある。例えば次の記事からもそれはうかがえる。 港区女子とは、港区に家を構えている女子というわけではなく、お金持ちが多く集う東京都港区をベースに華やかな日常を送る女性たちを指す言葉です。セレブ感漂うホームパーティーを開いたり、高級バー・高級レストラン・高級ラウ

                                                              「港区女子」小史|✨わん🐶にゃん😺癒し動画✨
                                                            • chatgptで手間なく月5桁ブログを量産する6ステップ

                                                              本記事では「chatgptで手間なく月5桁稼ぐブログを量産する6ステップ」を解説していきます。 こんな人に読んで欲しいです 読んで欲しい人 ・0から新しい副業収入を作りたい人 ・ブログで今苦戦している人 ・これからブログを始める人 実際に私もchatgptをフル活用して月5桁稼ぐブログを量産しています。 しかも穴場を狙ってるので、ほぼ放置して自動的に収益が入ってきている状態です。 今回はそのノウハウを特別に無料で公開。 まずは本記事の全体像をご紹介します。 ステップ1 目標を数値化 ステップ2 キーワードを厳選 ステップ3 記事を量産 ステップ4 被リンクを獲得 ステップ5 記事をリライト ステップ6 ステップ2〜5を繰り返す 本記事内では ・記事作成をほぼ自動化してくれる「記事作成gptsくん」 ・3~5000文字の記事を量産する「最強スプシ」 ・個人ブログでも取れる被リンクサイト これ

                                                              • 自分専用AIを作る グーグル「NotebookLM」を家電取説・辞書・時刻表で使う

                                                                  自分専用AIを作る グーグル「NotebookLM」を家電取説・辞書・時刻表で使う
                                                                • RE:郊外都市には文化が無い (……本当に?) - シロクマの屑籠

                                                                  anond.hatelabo.jp 「郊外都市には文化が無い」、というタイトルの文章がはてな匿名ダイアリーを読んだ。 タイトルが、なんだか大きな釣り針だ。ただし、この名古屋近郊に住んでいる筆者はあるていど誠実だ。というのも、 この街の文化と呼べるものに触れ合った記憶が無い。 生まれも育ちもここなのに郷土史とか一切知らねえ。 名古屋やその近郊に文化が無いと言い切っているのでなく、名古屋やその近郊の文化を自分は知らない、と書いているからだ。 たとえば自宅と職場とショッピングモールだけを往復している生活をしていたら、自分の暮らしている場所の文化についてロクに知らないこともあるだろう。交通網が発達し、地域共同体への依存度が低いニュータウンで暮らしていれば尚更だ。 それについて、名古屋を街歩きした時を思い出しながらちょっと書いてみる。 名古屋近郊の住宅地には文化が[無い|ある] まず、名古屋近郊のg

                                                                    RE:郊外都市には文化が無い (……本当に?) - シロクマの屑籠
                                                                  • 個人開発者がGoogle Cloudの環境構築でお財布を守るために最初にすべきこと - Qiita

                                                                    初めに 自分は2年くらい業務でGCP(今はGoogle Cloudですね)を使っていたのですが、友達が個人開発でGoogle Cloud使いたいから手伝ってとのことで、久々にコンソール触りたいなーと思ったので環境構築を手伝うことにしました。友達のクレジットカードが紐づいた環境なので自分の環境以上に課金やセキュリティに対して注意しなくてはなりません。課金だけでなく友情も爆発してしまいかねませんので 今回は最初期から構築するということで個人開発者向けにお財布や環境を守るうえでの最初にやったほうがよい課金のセーフティ的な設定をまとめていきたいと思います。企業で検証環境管理している人にも参考になるかと思いますので是非最後まで見てもらえると嬉しいです! 前提 Google Cloudのプロジェクトを作成していること 課金アカウントを作成していること(クレジットカードの紐づけできていること) その1

                                                                      個人開発者がGoogle Cloudの環境構築でお財布を守るために最初にすべきこと - Qiita
                                                                    • 「英語仕事効率化」のための必携ツール7選: DeepL、Grammarly、Quillbotなどの活用方法 - ENGLISH JOURNAL

                                                                      英語を活用する仕事に関連するツールの中から、特に人気で効率的な7つをピックアップ。DeeplとGrammarlyの併用方法やQuillbotの使い方、そしてOtter.aiでの仕事効率化のコツなど、多様なニーズに応える情報を詳しく解説します。 英語の仕事効率化に役立つツール7選: 効率&品質アップの秘訣DeepL:外部翻訳支援ツールと連携、AI 翻訳のマストツールhttps://www.deepl.com/ 訳文の自然さで知られるAI翻訳ツール。対応言語は30弱、全部で700の組み合わせの翻訳が可能となっている。SNSや掲示板などの生の対話から学習をしているため、非常に今日性の高い訳文が取得できると評判だ。それ故に、時折過剰にネットスラング的な表現が提案されることもあり、「常に正確性の高い英文が取得できるわけではない」ということは認識しておきたい。 ブラウザ版とデスクトップ版(Window

                                                                        「英語仕事効率化」のための必携ツール7選: DeepL、Grammarly、Quillbotなどの活用方法 - ENGLISH JOURNAL
                                                                      • マイクロソフト、Webアプリのテスト自動化サービス「Microsoft Playwright Testing」プレビュー公開。クロスブラウザ/クロスプラットフォームのテストを並列実行

                                                                        マイクロソフトは、Webアプリケーションのテスト自動化ライブラリ「Playwright」を用いた、Microsoft Azure上のテスト自動化サービス「Microsoft Playwright Testing」のプレビュー公開を発表しました。 Microsoft Playwright Testingに使われている「Playwright」は、マイクロソフトが中心となってオープンソースで開発しているWebアプリケーション向けテスト自動化ライブラリです。対応環境が幅広く柔軟で、精度の高いテストを特長としています。 具体的には、Chrome、Edge、Firefox、Safariの主要なWebブラウザのすべてを対象にしたテスト自動化が可能で、ヘッドレス、ヘッドありのいずれにも対応。モバイルエミュレーションを用いたAndroid版Google ChromeとMobile Safariのテストも、実

                                                                          マイクロソフト、Webアプリのテスト自動化サービス「Microsoft Playwright Testing」プレビュー公開。クロスブラウザ/クロスプラットフォームのテストを並列実行
                                                                        • Gmailと米国Yahoo!のあれ(2024年2月) - /var/lib/azumakuniyuki

                                                                          メールシステム担当の人はもちろん、インフラ担当の人もDNSの設定とかで既に知ってはると思いますが、 10月にGoogleが発表した2024年2月から始まるGmailとYahoo!(米国)におけるスパム対策強化のあれです。 海外では数年前から"No Auth, No Entry"って「代表なくして課税なし」みたいな感じで言われているアレです。 識者の方々がいろんなところで記事にしてはりますので、他のところであんまり書かれていない気がするとこだけ記します。 まずは公式情報 Google Googleについては以下の二ヶ所を読んで理解して実践しておけば大丈夫そうです、たぶん。 パラメーターのhl=enをhl=jaに変えると日本語版になりますが、更新されるのが遅いので最初に英語版を見ておくのが良いです。 Email Sender Guidelines(81126) Email Sender Gui

                                                                            Gmailと米国Yahoo!のあれ(2024年2月) - /var/lib/azumakuniyuki
                                                                          • 【超入門】GPT Builderの使い方!【GPTs / ChatGPT】

                                                                            はじめまして、ますみです! 先日のOpenAI社の初めてのカンファレンスである「OpenAI Dev Day 2023」で発表されたGPT Builderがついに利用可能になりました! 上記の発表会にて、「自分で作ったGPTを公開して、たくさん他の人に利用されると、その利用量に応じて、収益がもらえる」という話は非常に話題を呼びました。 そこで、おそらく多くの方が「自分のGPTを作って、収益化したい!」「どうやって自分のGPTを作るのか知りたい!」と気になっている方が多いと思います! そこで、この記事では、自分のGPTを作るためのツールである「GPT Builderの使い方(始め方)」を徹底解説します! もしも自社のGPT開発の外注や相談をしたい方は、記事末尾のGoogleフォームよりお問い合わせいただければ、お力になります! また、「ChatGPT」や「OpenAI Dev Day」につい

                                                                              【超入門】GPT Builderの使い方!【GPTs / ChatGPT】
                                                                            • ご当地スーパーマーケット、関東のおすすめ店をマニアが紹介!初訪で絶対見るべきコーナーはここだ! #くるまも - くるまも|三井住友海上

                                                                              こんにちは。スーパーマーケット研究家として活動している、菅原佳己(すがわら・よしみ)です。 私は全国を巡りながら、ご当地スーパーとそこで売られているご当地食の魅力を掘り出し、さまざまなメディアを通してご当地スーパーの情報を発信しています。 例えば今回紹介するスーパーの一つ、ひまわり市場の名物「歴史的メンチカツ」 ある調査によると、「スーパーマーケットを選ぶポイント」のトップ3は、「安さ」「品ぞろえの良さ」そして、「家から近い」ということでした。納得できる結果だとは思いますが、私は「魅力をはかるスケールは他にもあるはず」と感じています。 旅先で出合うスーパーは、全部が「品ぞろえ抜群」だったり「驚きの安さ」だったりというわけではありません。そして買えるものは地元の人の日常食。ですが、エリア外から来た者にとってご当地スーパーはいつでも刺激的な場所なんです。 自分の住んでいる地域から離れれば離れる

                                                                                ご当地スーパーマーケット、関東のおすすめ店をマニアが紹介!初訪で絶対見るべきコーナーはここだ! #くるまも - くるまも|三井住友海上
                                                                              • ティム・オライリーとシリコンバレーの贖罪

                                                                                ティム・オライリーとシリコンバレーの贖罪 2024.07.10 Updated by yomoyomo on July 10, 2024, 11:00 am JST きっかけは、『ブログ 世界を変える個人メディア』や『あなたがメディア! ソーシャル新時代の情報術』の著書で知られるジャーナリストのダン・ギルモアが、16年務めた教職を辞すという「引退」について書いているのを4月に読んだことでした。 調べてみると、彼は1951年生まれの73歳らしいのですが、ふと、自分が20年以上前からその言説を参考にしてきたベテランたちの何人かも70歳前後なのに気付きました。それは例えば、ブログやポッドキャストの発展に大きく関わったデイヴ・ワイナーや、やはりベテランブロガーにして『グーグル的思考』、『パブリック 開かれたネットの価値を最大化せよ』、『デジタル・ジャーナリズムは稼げるか』の著書で知られるジェフ・ジ

                                                                                  ティム・オライリーとシリコンバレーの贖罪
                                                                                • いちばんやさしいローカル LLM|ぬこぬこ

                                                                                  概要ローカル LLM 初めましての方でも動かせるチュートリアル 最近の公開されている大規模言語モデルの性能向上がすごい Ollama を使えば簡単に LLM をローカル環境で動かせる Enchanted や Open WebUI を使えばローカル LLM を ChatGPT を使う感覚で使うことができる quantkit を使えば簡単に LLM を量子化でき、ローカルでも実行可能なサイズに小さくできる 1. はじめに大規模言語モデル(LLM)の数は数年前と比べてたくさん増えました。有名な LLM を使ったチャットサービスとして、OpenAI の ChatGPT や Anthropic の Claude、Google の Gemini などがありますが、これらのサービスの中で利用されている大規模言語モデルは公開されていません。 現状、様々な評価指標により LLM の性能が測定されていますが、

                                                                                    いちばんやさしいローカル LLM|ぬこぬこ