Gitの仕組みと用語 / GitHub Term物理情報工学ソフトウェア開発演習
存在するはなぜ二階の述語なのか｜ミック
拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
BigQuery クエリ - pokutuna
BigQuery 関連: Colaboratory 標準 SQL 語彙の構造 | BigQuery | Google Cloud リテラル等の仕様 その場でデータを作ってクエリする 動作確認に便利 code:struct.sql SELECT MIN(status) FROM UNNEST([ STRUCT('unexamined' AS status), STRUCT('unexamined' AS status), STRUCT('ng' AS status) ]) 型ほしい時は型を書く code:complex_struct.sql SELECT * FROM UNNEST( ARRAY<STRUCT<count INT64, time TIMESTAMP>>[ STRUCT(3, TIMESTAMP "2020-07-01 10:00:00"), STRUCT(5, TIM
コメント乞食と言われてもいいので、今手に入るシレン風みたいなローグラ..
コメント乞食と言われてもいいので、今手に入るシレン風みたいなローグライクおすすめ教えてくださいませんか。 PCだろうがPSであろうがなんでも構いません。よろしくお願いいたします。 (追記) こんなにもおすすめと「シレン6をやれ」というご指示いただきまして、本当にありがとうございます。 正直ここまでおすすめいただけるとは思っておりませんでした…… 実は先日からシレン6をプレイしていて十分に楽しめているのですが、 前にはてなで「シレンが国産ローグライトの代表作と言われているのはおかしい」みたいなブクマを見かけたな、と思い それならばシレン風のゲームのおすすめを聞いておけば、救助待ちの最中やクリア後も安心だろうと思いお聞きした次第です。
好きなポッドキャストについてまとめる
そもそもポッドキャストって何？映像のない YouTube のような存在が ポッドキャストです。 つまり、ラジオのようなものです。 YouTube のように、素人も投稿できる音声 メディアです。 どうやって聞けるの？iOSからであれば、Apple Podcast Androidからであれば、Googleポッドキャスト ※Googleポッドキャストは、YouTube musicに統合の話が出ている 他にSpotify、Amazon music、radikoからも聞けるらしい。 おすすめのポッドキャストヤング日経経済系の番組はおじさんがしゃべっていることが多いが、この番組は若い大学生～大学院生の女の子が最近の経済について 話しており、非常に聞きやすく、軽い気持ちで聞けるのが良い。ポッドキャスト的な流し聞きに向いてる。 日経トレンディ ＆ 日経クロストレンド日経トレンディ及び日経クロストレンドとい
5年後には標準になっている可観測性のこと - Learning Opentelemetry の読書感想文 - じゃあ、おうちで学べる
はじめに 本稿は、オープンソースの可観測性(Observability)プロジェクトである OpenTelemetry を取り上げた書籍「Learning Opentelemetry」の読書感想文です。従来の可観測性の課題であったデータの分断を解消し、トレース、メトリクス、ログなどの様々なテレメトリデータを統合的に扱うことができる OpenTelemetry は、可観測性の分野における革命的な存在と言えます。 過去10年間で、可観測性はニッチな分野から、クラウドネイティブの世界のあらゆる部分に影響を与える数十億ドル規模の産業へと発展しました。しかし、効果的な可観測性の鍵は、高品質のテレメトリデータにあります。OpenTelemetryは、このデータを提供し、次世代の可観測性ツールと実践を開始することを目的としたプロジェクトです。 learning.oreilly.com 本書の想定読者は、
味の素の「休日だし。」を使うことでお店レベルの「アルティメット限界ラーメン」ができてしまった
東山 広樹 | Cooking Maniac @h_gashiyama アルティメット限界ラーメン 水に醤油や味の素を加えるだけで作るラーメンを＂限界ラーメン＂と呼ぶ それをさらに超えた簡単さで、お店レベルのラーメンを作る術が爆誕してしまった… 味の素の「休日だし。」ほたて貝柱だし、が凄まじく美味かったので、コレだけで限界ラーメンを作りたくなった まず、休日だし。だけでラーメンを作るための計算式を作ってみた ＜ラーメンスープに必要な塩分濃度＞ ラーメンの塩分濃度1.2％ ラーメンスープ350g×1.2％＝4.2g →4.2gの塩分が必要 ＜休日だし。の使用量＞ 休日だし。→塩分濃度は2.1g / 1包中 休日だし。12g（2包）→塩分4.2g ＜スープに必要な休日だし。の量＞ 休日だし。12g＋水350g=塩分濃度1.2％ →ラーメンスープの味！ そして…コレがアルティメット限界ラーメンの
Goのerrorがスタックトレースを含まない理由 - methaneのブログ
Twitterでこんな記事を見かけたので。 zenn.dev ジェネリクスの件もそうですが、Goの言語設計は現実主義なのになにか特別なポリシーによるものだと宗教化されてしまって、ファンには勝手に崇拝されてアンチにはディスられがちだなーと感じます。 Goのエラー処理を改善する実験プロジェクトxerrorsがGo本体のerrorsにマージされた時、 errors.New() はスタックトレースを取得していました。しかしGo 1.13がリリースされる前に削除されました。 削除された理由の1つは、今までの errors.New() のパフォーマンスに依存していたコードの速度が低下しアロケーションが増えることです。 github.com しかし、これが理由だと今まで思ってたのですが、実際にはもう1つより重要な理由がありました。エラーのフォーマットです。エラーに複数のフォーマットを持たせようという提案
ブラウザからDBに行き着くまでただまとめる
はじめに あなたはブラウザからデータベース(DB)に情報が行き着くまでにどんな技術が使われているか説明できますでしょうか？ どのようなプロトコルが用いられ、どの技術を駆使してサーバと通信しているのか、Webサーバでは何が行われ、どのようにして負荷が分散されているのか、トランザクションはどのように管理されているのか、そしてデータベースではシャーディングや負荷対策のためにどのような対策が取られているのか… なんとなくは理解しているものの、私は自信を持って「こうなっている！！」とは説明ができません。 そこで今回は「大規模サービス」を題材としてブラウザからデータベースに至るまでの、情報の流れとその背後にある技術について、明確かつ分かりやすく解説していきたいと思います。 対象としてはこれからエンジニアとして働き出す、WEB、バックエンド、サーバーサイド、インフラ、SREを対象としております。 1.
ニッポンの異国料理を訪ねて： 5つ星ホテルの料理人が腕を振るう東京・東十条のバングラデシュ料理店「プリンスフードコーナー」
日本の日常にすっかり溶け込んだ異国の料理店。だが、そもそも彼らはなぜ、極東の島国で商いをしているのか──。東京・東十条にはバングラデシュ出身者が集まるコミュニティ「リトル・ダッカ」がある。この街のムスリムたちに人気の店「プリンスフードコーナー」の店主は、祖国では5つ星ホテルで腕を磨いた本格派。そんな凄腕が来日した理由とは。 知られざるエスニックフードの名店 東京都北区、万国旗がはためく昔ながらの東十条駅前商店街。この商店街には毎週金曜日になると、見慣れない服装に身を包んだ男たちがどこからともなく集まってくる。 頭にちょこんと載せた白い帽子と、首から手首、足首までを覆ったふっくらとした服装。あごひげをたくわえた人も少なくない。彼らはムスリムと称されるイスラム教徒たちで、駅から徒歩3分の小さなモスク「マディナ・マスジド東京」に吸い込まれていく。金曜日はイスラム教の礼拝が行われる、大切な一日だ。
Vimmer のための 括弧編集入門
Vimmer のための 括弧編集入門 プログラミングにおいて、もっともよくに入力する文字種はなんだろうか。 そう、括弧である。括弧を効率良く編集することは、どんなプログラミング言語をつかう人にとっても有益である。 その信念のもと、僕が使っている括弧編集の種々を紹介したい。 括弧の挿入と削除 1 ドア、箱、ノートパソココン、どんなものも開いたら閉じます。括弧だってそうです。 どうせ閉じることがわかっているのであれば、開き括弧が入力された段階で閉じ括弧も入力したいですね。 vim なら innoremap を使うことで実現できます。 上記は挿入モードで開き括弧が入力されたら自動で閉じ括弧も入力してくれる機能です。 一番簡単に閉じ括弧を自動入力する機能です。 括弧の挿入と削除 2 https://github.com/eraserhd/parinfer-rust https://github.c
フライパン×薄力粉で台湾屋台メシ「葱油餅」（ツォンヨウビン）をカリもちに焼くレシピ - メシ通 | ホットペッパーグルメ
こんにちは！ ベトナム料理普及家のKi Yamamotoです。 家でできるベトナムご飯、アジアご飯のレシピや調味料、食文化に関する情報を発信している僕が今日紹介するのは、台湾や中国・北京などで食べられている屋台メシ「葱油餅」（ツォンヨウビン、ツォンヨウピン）です。 粉とねぎ、塩、油とシンプルな材料で作った生地を焼いた、クレープのようなお好み焼きのような、具入りのデニッシュのような一品。これが、素材それぞれの美味しさが引き出された名品なんです。 僕が台湾の夜市で食べた思い出の葱油餅は、外はカリカリ、中はもっちりとろ～り。ねぎの香りがふわっと広がり、これウマいですね！ と思わずお店の人に話しかけちゃいました。 今回はその葱油餅を僕なりに作りやすくアレンジ。ラードやもち粉、強力粉を使うレシピもありますが、今回はできるだけ身近な材料でいきます。お酒のおつまみやおやつ、小腹が空いたときの軽い食事にぴ
ブラウザの仕組み | Articles | web.dev
序文 WebKit と Gecko の内部オペレーションに関するこの包括的な入門情報は、イスラエルのデベロッパー Tali Garsiel 氏による多くの研究の成果です。数年にわたり、ブラウザ内部に関するすべての公開データを確認し、ウェブブラウザのソースコードを読むことに多くの時間を費やしました。彼女は次のように書いています。 ウェブ デベロッパーは、ブラウザ操作の内部構造を学ぶことで、より的確な意思決定を行い、開発のベスト プラクティスの背後にある理由を知ることができます。これはかなり長いドキュメントですが、時間をかけてじっくり読むことをおすすめします。やったら嬉しいよ。 Chrome デベロッパー リレーションズ、Paul Irish はじめに ウェブブラウザは、最も広く使用されているソフトウェアです。この入門編では その仕組みを解説しますアドレスバーに「google.com」と入力し
英語中級者から上級者になるための勉強法！中級から伸びないときの対策を紹介
「英語を何年も勉強しているけれど、中級レベルからなかなか伸びない……」 「英語の中級者から上級者になるには、どうすれば良いの？」 一生懸命英語学習に取り組んできたのに、中級レベルで伸び悩みを感じている方は多いでしょう。 ある程度は英語でコミュニケーションがとれていても、ふとした瞬間に自分の英語力の足りなさを痛感し、モチベーションが下がってしまった経験があるかもしれません。 ですが、早々に諦めてしまってはもったいないです。この記事を読みに来たあなたは、心のどこかで「もっと上手になりたい！」という意欲がある証拠。 意欲がある限り、まだまだ英語が伸びる可能性は十分にあります。 この記事では英語中級者の英語力が伸び悩む原因と、中級者の壁を破って上級レベルにステップアップしていくための方法をお伝えしてきます。 目標を高く持って、効率よく中級から上級レベルへと英語力を上げていきましょう！ 執筆者：Li
サーバーレスマイクロサービスを構築するための設計アプローチの比較 | Amazon Web Services
Amazon Web Services ブログ サーバーレスマイクロサービスを構築するための設計アプローチの比較 AWS Lambda でワークロードを設計すると、コードレベルでもインフラレベルでも表現できるモジュール性のために、開発者に疑問が生じます。また、コードを実行するためにサーバーレスを使用するには、基盤となる機能コンポーネントからビジネスロジックを抽出するためのさらなる検討が必要です。この意図的な関心の分離により、堅牢なモジュール性が保証され、進化的なアーキテクチャへの道が開かれます。 この投稿は同期ワークロードに焦点を当てていますが、他のワークロードのタイプでも同様の考慮が当てはまります。API の境界を特定し、コンシューマと API について擦り合わせた後、その境界と関連するアーキテクチャを構成します。 Lambda 関数を使用して API を構成する最も一般的な 2 つの方
【電柱編】引越しにおけるネット回線ガチャと開通待ちで勝利するための知見まとめ 2024春 - はげあたま.org
www.hageatama.org blog.hatenablog.com 自分の周辺でネットの開通で事故っている人に向けて書いた記事が、2023年のはてなブログで年間3位になっちゃった奴の続編です。引っ越しシーズンでまたアクセスがちょこちょこと伸びてるので今度こそ書き上げるぞ！と思ってたのに、言いたいこと全部書いたら電柱見上げる話で長文になってしまい完結しませんでした……。 前回のような、一般向け想定の妥協はしません。今回は本当の誰得記事なので、拾える枝葉も残しましたし、読みやすさも捨てました。 そもそも私自身、別にネットワークエンジニアどころか、IT業界の人間ですらないので専門的な正しさは保証できません。ぜひフィードバックはほしいし、何ならこの上位互換の記事を書いてください。私が読みたい。 【主張の概要】 光コンセントが元からある物件を選べ フレッツ光回線でプロバイダをいつでも切り替え
いつか起業したいエンジニアへ - Qiita
はじめに 34 歳のとき、勤めていた会社の経営が傾き早期退職を促されたのを契機に独立しました。その後、41 歳で Authleteオースリート 社を設立しました。諸般の事情で現在も Authlete 社の代表取締役という肩書きを持っていますが、経営者的な仕事は他の人に任せ (参照: シリコンバレーのプロフェッショナル CEO を迎えて米国市場に挑戦する日本のスタートアップの話)、50 歳目前の現在もプログラマとしてコードを書き続けています。 Authlete 社設立 (2015 年 9 月) から 8 年半弱経過したものの、まだまだ小さな会社で道半ばであるため、起業家として何か語るのは時期尚早ではあるものの、軽い体調不良が長引く中、『自分のエンジニアとしてキャリアを振り返ろう！』という記事投稿キャンペーンを見かけ、生きているうちに子供世代のエンジニアの方々に何か書き残しておこうと思い、文章
Waku, the minimal React framework
Introduction Waku (wah-ku) or わく means “framework” in Japanese. As the minimal React framework, it’s designed to accelerate the work of developers at startups and agencies building small to medium-sized React projects. These include marketing websites, light ecommerce, and web applications. We recommend other frameworks for heavy ecommerce or enterprise applications. Waku is a lightweight alternat
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
生成AIによるプロダクトと生産性向上の舞台裏@2024.04.16
gitでstashが面倒なあなたにautostash
