ウィトゲンシュタインの『論理哲学論考』の解説本を読んでいて、 「これはプログラミング言語の世界観だ」 と思ったところがあった。 解説本とは、古田徹也『ウィトゲンシュタイン 論理哲学論考 シリーズ世界の思想 (角川選書)』である。 今回、言及するのは、§2 「事実と事態、事態と物（対象）」の部分である。 結論から先に言うと、 物のなかで可能性が予定されている という世界観だ。 以下、『論理哲学論考』の記載を引用する。[1] 2.012 論理においては何ひとつ偶然ではない。 ある物がある事態のなかに現れることが可能であるなら、その事態の可能性はその物のなかで予定されているのでなければならない。 2.0121 物が事態のなかに現れることが可能であるなら、その可能性は物のなかにすでにあるのでなければならない。 （論理的なことは、単に可能なことにとどまるものではありえない。論理はすべての可能性を扱い

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

はじめに おはようございます、加藤です。先日、こちらの記事で紹介しましたが、AWS CDKは本来Cloud Formationテンプレートを生成してデプロイを行いますが、Lambda関数をデプロイする際にCloud Formationを使用せずにAWS SDKを使うことで高速にデプロイする機能が登場しました。この機能はhotswap deploymentと呼ばれます。 昨日、v1.128.0がリリースされ、hotswap deploymentにECSサービスが対応しました。また、気づいていませんでしたがStep Functionsも対応していました。 デプロイ速度 具体的にどれぐらい早くなるのか、ecs-patternsのApplicationLoadBalancedFargateServiceを使った構成で試してみました。使用したDockerfileとアプリケーションは下記のとおりです。

家電量販店に行くと今でもボイスレコーダーのコーナーがあり人気だ。またスマートフォンにも必ずボイスメモアプリがある。筆者も一時期アイデアをボイスメモで録り溜めていた。しかし、ボイスメモは聞き直す必要があり管理が面倒という欠点もある。そこで、今回はPythonからMicrosoftのAPIを利用して自動的にボイスメモをテキストに変換する方法を紹介しよう。 WAVファイルを音声認識してテキストに変換したところ 音声認識APIを使ってみよう AI技術の進歩により音声認識の精度が向上している。これまでも音声認識の技術はあったものの精度が今一歩だった。そして個人ユーザーが気軽に活用できる感じではなかった。ところが、最近では、各社が競い合うように音声認識の精度向上に力を入れている。各社から発売されているAIスピーカーを積極的に活用している読者も多いことだろう。 そして、大きな点として、Microsoft

PyCon JP 2021 登壇資料: https://2021.pycon.jp/time-table/?id=272259

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

色々言いたいことはあるが、この回答に迷うのやばい　人間をなんだと思ってるの？奴隷？ https://t.co/lNk8p1oe9b https://t.co/rVgLw4exnd

■ 目 次 プロローグ 森田童子 さよならぼくのともだち ぼくたちの失敗 たとえばぼくが死んだら エピローグ 純ちゃんのおまけ - Blog Ranking Lists プロローグ おはようございます、ＭＣの白石純子です 本日のテーマは、邦楽セレクション “ 森田童子特集 ” 最期の最期まで伝説のまま星になったアーティスト 森田童子 の登場です！ 本文中に青字や薄く下線があり、カーソルをその文字に合わせて、指マークに変わればリンクに飛ぶことができます そしたら、その意味を教えてくれるからね～　(* ˃ ᵕ ˂ )b 皆さん、おはようございます アシスタントの真行寺（しんぎょうじ）です それでは、さっそくわたくしの方から、きょうのパフォーマーを 紹介をさせて頂きます ご紹介するナンバーは、「さよならぼくのともだち」「僕たちの失敗」「たとえばぼくが死んだら」の３曲をチョイスしました！ ご紹介し

前提 ここで言っているドキュメントは仕様書ではなく、顧客向け製品ドキュメント。 ミドルウェア製品を開発 小さなチーム パッケージ製品とパッケージ製品のクラウド版 そのため顧客に提供するドキュメントが必ず必要 GitHub を利用 自分で開発する場合のフロー 作りたい機能をぼんやりでいいので GitHub Issue に追加する feature ブランチを切る デザインドキュメントをリポジトリの doc/ 以下に書く デザインドキュメントに合わせてコーディングを進めてなんとなく動くところまで作る 動かなくてもいいのでイメージを膨らませるためにコードを書いてみる デザインドキュメントは書き捨て前提で、とにかくメモを書く 製品ドキュメントを書き始めて、一旦書き終える ブランチマージに向けてコーディングを進める 書ける範囲でテストを書く ドキュメントを平行して修正する プルリクエストをだしてレビュ

Netflix Tech BlogのgRPC APIに関する以下の２つの記事に感銘を受けたので、ここにその概要を日本語で記します。 (めんどくさかったので)翻訳の許可は取ってませんが、再構成してますし元のJavaではなくPythonで書き直していますので、容赦して下さい… Practical API Design at Netflix, Part 1: Using Protobuf FieldMaskPractical API Design at Netflix, Part 2: Protobuf FieldMask for Mutation OperationsまとめgRPCでは、FieldMaskをうまく使うことで、必要な情報だけ取得したりあるいは与えたりしたりできまっせ第一部まずField Maskをどのように使うかを述べています。 背景Remote Callというものは、そもそもコ

アオイネコ@Vtuber @aoineko_mug マグカップに入ってる青い猫のアオイネコだよ🐾 コーヒー大好き。カフェイン最高！☕ かわいい見た目でちょっとお口の治安が悪かったり、 頭がポンだったり……が癖になる方が多いみたい🤯 いっぱいお話しにきてね！ タグ→#アオイネコ | 絵 #アオイネコ・ラテアート | 切り抜き #焙煎アオイネコ | 他は固定ツイートへ https://t.co/xjCprqzYWc

報道後にTwitterのTL上で大きな波紋を呼び、少しエキセントリックな内容まで見られるようになりました。140文字と言う制約に中で書くと、どうしても事実の羅列で強い口調になりがちです反省しています。本来ならエキノコックスについて詳細に書いた後に対策を書くところですが、先に対策を書いて、時間があればその行間を埋めたいと思います。 上の図（福井新聞記事より抜粋）はエキノコックスの生活環、感染経路についてです。ここで大事なことは犬やキツネは終宿主で症状はほとんどないのに、人では長い時間をかけて症状が出ることです。さらに犬やキツネでは100％効く薬があるのに、人での治療は手術により病巣を取り除くこととなります。そして、病巣が取りきれない場合は死亡率が極めて高いと言うことです。 ではどのように対策はなされているのでしょうか。 エキノコックス対策はどうしてる？北海道での対策ですが、行政対策として毎年

本業はiOS開発なのですが、6月頃から個人開発でWebフロントを触っています。 Webフロントに入門するときに、開発の前提知識・専門用語が多すぎて、脳が処理しきれない状態になりました。 これでも数年前のより混沌としてた時期よりは安定してきているように思うんですが、それでもやはりカオス感は否めませんでした。 Webフロントエンド開発の見取り図があればいいのにと思ったので、自分でちょっとつくってみようと思いました。 個別の技術要素の情報は豊富にある（ありすぎると言ってもいいかもしれません）んですが、全体像がよくわからないので、 たとえば「TypeScriptで開発した方がいいのか？」とか、「Babelとかwebpackってインストールしなきゃいけないの？」とか、 そういう素朴な疑問が学習進めて行っても、なかなか解消できなかったので、いい感じのざっくり感でまとめられたらと思います。 この記事で全

PyCon JP 2021 (2021/10/16) @Hirosaji @Hirosaji_draw https://2021.pycon.jp/time-table/?id=273843 ※表示画面が小さいと感じる場合は、次のSpeakerDeckをご覧ください。 https://speakerdeck.com/hirosaji/the-art-of-reading-illustrations ===== Title (English): The Art of Reading Pictures: Illustration Analysis in PythonRead less

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

Storybook・テストに関して「メンテナンス工数に見合うだけのメリットがあるか？」という議論を、経験したことはないでしょうか。フロントエンドは、とにかく動くものを作ることが優先され、Storybook・テストが二の次になっている現場も少なくないと思います。 限りある工数を割きチームで取り組むものですから、導入するためには「どういったメリットがあるのか？」という具体的な例をチームに示す必要があります。これは今年、筆者が体験した実メリットのお話です。導入を躊躇している現場にむけ、参考になればと思い書きました。 【Storybook】不要な Global CSS を削除できた きちんとコンポーネント設計され、コンポーネントに閉じた指定をしていたとしても、どこかに必ず Global な CSS があると思います。何かしらの資材を受け継ぎ立ち上げたプロジェクトに関しては、Global な CSS

","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><div id=\"kiji_bottom-banner\">\n<p style=\"padding:10px;\"><a href=\"https://www.asahi.com/senkyo/shuinsen/2021/?iref=kiji_bottom_banner\" style=\"display:block;\"><img src=\"https://www.asahicom.jp/senkyo/shuinsen/2021/images/shuinsen2021_660x100.jpg\" alt=\"2021衆院選\" style=\"width:100%;height:auto;\"/><

","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

「昨晩、２０４号室のやつが女を連れ込んでいたぞ。単身用の契約なのに契約違反だろっ。管理会社ならちゃんと契約を守らせろよ！！」今朝も元気に管理会社にクレームをいれてくるおじさんがいる。 古いアパートに設備投資をしたら良かれと思って、奮発してモニター付きインターフォンを取り付けたところ、日がな一日モニターで他の入居者の出入りを監視するようになってしまった。何かあるとすぐに管理会社に激怒する。異性を連れ込むことに対しては、人一倍に敏感であった。おじさんの部屋が入居者全員が通る一階のはじっこなのもよくなかった。うちのアパートのちょっとした問題児だ。 異性を連れ込めなくて何のための一人暮らしかと思うのだけれど、契約違反だと毎回騒ぎ立てるし、他の入居者にそれを注意する手紙を勝手に管理会社名で作って投函したりして、もう大迷惑なので…やんわりと「うちのアパートは暮らしづらいだろうから、他のアパートへの引っ

特に気にもしていなかったために今まで知らなかったのですが、Raspberry Piを節電のために色々無効化できるらしく、とくにHDMIを無効化して30mA節約できるあたりに感動したので、自宅の常設Raspberry Piに一通り設定しつつ、Ansible Playbookを書いてみました。 github.com varsはこんなかんじ。ご使用のモデルと用途に応じてnoをyesに変えてください。コミットではgroup_varsにおいてますが、host_varsに置いてホスト単位で管理したほうがいいかなと思います。 # HDMIの無効化 (All model) # 30mAくらい減る disable_hdmi: no # ACT・電源のLEDを消灯 (1B+/1A+以降,Zeroはactのみ) # 数mA減る disable_led_act: no disable_led_power: no

PyConJP 2021での発表(https://2021.pycon.jp/time-table?id=269506) で利用した資料です。サンプルコード (https://colab.research.google.com/drive/1r4GcXWvM-j-dlfT0XF-O-Y5DiyAM-gGq?usp=sharing) もあります。

自民党が圧勝しまくるようになったらあっちゅう間に消費税が2倍になったやんけ アクロバット擁護やめれ https://t.co/5XW8NuHgC4

Well, if you are a big TikTok fan and live in the United States, I have some bad news for you: A bill that would force a sale of TikTok or ban it in the United States passed the Senate. And the Presid Nvidia is acquiring Run:ai, a Tel Aviv-based company that makes it easier for developers and operations teams to manage and optimize their AI hardware infrastructure, for an undisclosed sum. Ctech re

Scaffoldy は、選択したサービスを組み合わせた webサービスの Docker Compose 設定ファイルを作ってくれるwebサービスです。 対話式のフォームに回答していくだけで、docker compose で動作する yml ファイルが作られます。現在選べるのは以下のような項目 言語/環境 – Python / Node.js / その他 .gitignore 等 git の設定 データベース – MySQL / MariaDB / PostgreSQL / MongoDB データベース管理web UI – phpMyAdmin / pgAdmin / Mongo Express キャッシュサーバ – Memcached / Redis メッセージング – RabbitMQ / NATS メトリクス – Prometheus / Grafana その他 – Clickhous

What it feels like when your app is leaking memoryIntroductionOver the last few years at Zendesk, both Go and Kafka have been increasingly growing in importance in our architecture. It was of course inevitable that they should meet, and so various teams have been writing Kafka consumers and producers in Go of late. There are a few different library options for building Kafka apps in Go, but we’ve