トヨタは法人税を５年も払わず、巨額の消費税還付の恩恵を受け、アベノミクスと円安で巨額の利益をあげ、恩返しとして自民党へ5000万円献金。・・・たしかに企業献金は政治を歪めて国民に不利益をもたらしている。
大前 治（弁護士） @o_omae 弁護士 ／ 大阪京橋法律事務所 著書⇒ amazon.co.jp/s?i=stripbooks… 京都府立桂高校/ 大阪大学法学部/ 鉄道会社→弁護士/ 維新の大阪府市政に勝訴/ 大阪空襲訴訟/ 防空法/ 無罪判決は４回 o-bengosi.sakura.ne.jp 大前 治（弁護士） @o_omae トヨタは法人税を５年も払わず、巨額の消費税還付の恩恵を受け、アベノミクスと円安で巨額の利益をあげ、恩返しとして自民党へ5000万円献金。・・・たしかに企業献金は政治を歪めて国民に不利益をもたらしている。 response.jp/article/2023/1… 2024-06-06 17:38:28
数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
個人開発OSSが世界に勝てなかった話
ゆーすけべー氏の「OSSで世界と戦うために」にインスパイアされました。5年間pyserdeというOSSのライブラリを開発・メンテしてきた筆者が、ちょっとだけ世界と戦ってみたけど全然勝てなかったという話です。Honoとはプロダクトの規模も開発にかける情熱も全然違うけど、単純にポストモーテムは読み物として面白いかなと思ったので書いてみます。また、5年間の開発で学んだやってよかったことや失敗などもシェアできればと思います。 pyserde pyserdeは筆者が2019年から開発メンテナンスしているOSSで、RustのserdeというライブラリにインスパイアされたPython用のシリアライゼーションフレームワークです。 以下のようにクラスを定義すると、型アノテーションに基づいたデータ変換やバリデーションのコードが内部的に生成され、強い型付けのクラスを生成することができます。強い型付けのクラスはラ
自社サービスのバックエンドを Go から TypeScript へ切り替えるための整理
切り替える理由 自社の主力製品で利用している技術(WebRTC / WebTransport)がブラウザベースのため TypeScript を利用する Go を採用したのは sqlc が使いたかったという理由 sqlc-gen-typescript が出てきたのでもう Go を使う理由がなくなった 自社サービスチーム全員が Go にまったく興味が無い sqlc 自体は便利 そもそも自社に Go への興味がある人がいない 自社サービスの規模ではボトルネックになるのはデータベースであって言語ではない もしアプリでスケールが必要なときは Rust や Erlang/OTP に切り替えれば良い コネクションプールは PgBouncer を利用すればいい TypeScript からは 1 コネクション 1 接続で問題無い どうせフロントエンドでは TypeScript を書く 自社では React
「>」は「未満」なのに「<」にはなんで名前ないの？ から驚きの展開へ
IPv6円周率 @IPv6_ensyuritu これと似たような問題かわからないけど 文字が抜ける→脱字 文字を間違える→誤字 文字が増える→??? ってのもあるね (衍字(えんじ)と言うらしい) x.com/k_love_math/st… 2024-04-22 22:57:14 セキネン @Road_to_26M この類の言い方は小4の四捨五入で登場します、四捨五入の説明には極めて便利です 「以下」は「以上」とわかりやすく対になる言葉ということで出ていると思われます 「超過」が出ていない理由としては、四捨五入の説明に不要であることや、「超」や「過」が小4時点で見登場であることが挙げられそうです x.com/k_love_math/st… 2024-04-22 21:02:49
音声翻訳をリアルタイムで対応できる無料ツール２５選｜PC・Android・iPhone
海外の方とコミュニケーションをとる際に、言葉の壁に苦労した経験がある方は多いでしょう。意思疎通がスムーズにできないと、ビジネスや日常生活に支障をきたしてしまいます。 そこで便利なのが、音声をリアルタイムで翻訳してくれるツールです。PCやスマホ、専用のデバイスなどのマイクに向かって話すと、即座に選択した言語に翻訳してくれます。仕事の会議や海外旅行中などにこのようなツールを活用すれば、ストレスなくコミュニケーションがとれるでしょう。 現在ではさまざまな種類の音声翻訳ツールが市場に登場しており、どれを選べば良いか迷ってしまうかもしれません。この記事ではリアルタイムでの音声翻訳に対応したツールを紹介しますので、ぜひ参考にしてください。 リアルタイムでの音声翻訳は可能? リアルタイム音声翻訳は、音声を即座に異なる言語に変換する技術です。この技術は主にスマートフォンやPC、Web上のアプリやプラットフ
メルカリでジャンク品を返品しろと言ってきた転売ヤーを突っぱねたお話｜四葉三丁目
どうも、四葉三丁目です。 今回は出品していたジャンク品をメルカリで購入した転売ヤーが返品したいと言ってきたお話です。 転売ヤー、メルカリとどのように私がやり取りをして最終的に取引成立まで持っていったかについて説明していきたいと思います。 ■あらすじ年も明けて2024年となりましたが、2023年の年末に大掃除で出てきたどうにもならない高級コンパクトのジャンクを売ってレンズ資金にしようと考えました。 今回はいくつか出品しましたが、主にもう外装や一部の部品を取って使う部品取りでしか使用できないものを中心に出品していました。 ■そして出品から購入までジャンク品は正常品ではないのでジャンク品と書いて売らないといけません。「部品取り、ジャンク、修理できる方向け」、「状態も全体的に悪い」、「相場の5～6割の値段設定」という3点を意識して出品をしました。 カメラの汚れや傷、レンズの中のゴミやくもりが分かる
書籍「Podmanイン・アクション」の紹介 - 赤帽エンジニアブログ
Podmanイン・アクション Red Hatでソリューションアーキテクトをしている田中司恩(@tnk4on)です。今回は私も執筆に参加した書籍「Podmanイン・アクション」について紹介いたします。 （2024年1月16日、更新）インフラエンジニアBooksのアーカイブURLと資料のリンクを追記しました。 Podmanイン・アクション 2023年9月に翻訳本である「Podmanイン・アクション」が発売されました。Podmanイン・アクションの原著は以前に紹介した「Podman in Action」です。 rheb.hatenablog.com Podmanイン・アクションはレッドハット株式会社の有志メンバーが集まって翻訳を行い、またそのチームメンバーもソリューションアーキテクト、コンサルタント、サポート、テクニカルトランスレーターと、さまざまな構成となっています。出版社の担当者を始め多くの
2024年OSSコントリビューターになるためのロードマップ
はじめに 突然ですが、私の2024年の目標はOSSコントリビューターになることです。 OSSとはオープンソースソフトウェアで、ここではGithubに公開されているものを指します。 OSSコントリビューターとは、オープンソースソフトウェアの開発やバグの修正、ドキュメント作成に有志で参加して貢献する人のことを指します。 参加する目的は大きく分けて２つあります。 私は特に「世界のつよつよエンジニアと繋がりたい！」という思いからOSSのコントリビューターになろうと考えました。 きっかけは「世界一流エンジニアの思考法」という本を読んで世界で活躍するエンジニアと関わりたい気持ちが高まったためです。 この本はエンジニアならぜひ読んでおきたいおすすめの一冊です！ この本に触発されてご著者と同じ「マイクロソフトに就職しよ」と考えるのは飛躍しすぎているため、自分でできることから始めようと思いOSSコントリビュ
東芝レビュー2001年5月
52 Stop Bar Light Control System A stop bar light control system is a system for preventing aircraft from incorrectly advancing into a runway and protecting runways by turning on and off red lamps installed across taxiways that lead into runways. The stop bar light system is an indispensable light system prescribed by the International Civil Aviation Organization (ICAO) for airports in which the r
Infinite Mac
Infinite Mac is a project by Mihai Parparita to make classic Mac and NeXT emulation easily accessible. It uses WebAssembly ports of Mini vMac, Basilisk II, SheepShaver, DingusPPC, and Previous to allow a broad set of System Software/Mac OS versions to run on the web. Shortcuts to the most popular versions are available: system6.app, system7.app, kanjitalk7.app, macos8.app, and macos9.app. FAQ How
バグは“数千パターンのテスト”をすり抜けた ―NTTデータ「2023/10/10 全銀ネット障害」について説明 | gihyo.jp
バグは“数千パターンのテスト”をすり抜けた ―NTTデータ「2023/10/10 全銀ネット障害」について説明 NTTデータグループは2023年11月6日、10月10日に発生した全国銀行データ通信システムの障害に関する記者説明会を実施、現時点で判明している障害の概要について説明を行うとともに、再発防止策に向けたタスクフォースの設立などについて明らかにしました。会見の冒頭、NTTデータグループ 代表取締役社長 本間洋氏は、今回の障害により全国の預金者や金融機関をはじめとする社会全体に大きな混乱をもたらしたことを謝罪し、今後の原因究明と再発防止に向け、全国銀行試験決済ネットワーク（以下、全銀ネット）とともに全力をかけて取り組むことを明言していました。 本記事では会見の内容をもとに、現時点で判明している10月10日の事故の原因についてレポートします。 2023年10月10日 ―なにが起こったのか
「行政書類の年号は『元号』中心なのでわかりにくい」「給食は文化や宗教に配慮して」定住外国人と熊本市長の対話集会（RKK熊本放送） - Yahoo!ニュース
熊本市で暮らす外国出身者と市長が対話する集会が開かれ、出席者からは生活面の課題を指摘する声が上がりました。 【写真を見る】「行政書類の年号は『元号』中心なのでわかりにくい」「給食は文化や宗教に配慮して」定住外国人と熊本市長の対話集会 外国出身者が対象の市長との対話イベントは4年ぶりの開催です。 台湾やアメリカ、ウクライナなどが出身の、熊本で暮らす15人が出席し、生活で感じていることを大西一史市長に直接伝えました。 スペイン出身「バスの運賃が高くなった。学生パス（を作ってほしい）」 他にも「外国出身者がどれだけ行政サービスを受けられるかわからない」、「行政書類の年号は元号（げんごう）中心なのでわかりにくい」、「子どもの給食メニューは文化や宗教に配慮してほしい」などの意見が上がりました。 熊本市は今回の意見を今後の市政運営の参考にするということです。
Gmailの容量がいっぱいになったのである方法で不要なメールを全削除した
Kazuho Oku @kazuho lead developer of H2O HTTP server / works at @fastly / contributes to @IETF / HTTP, TLS, QUICといった通信プロトコルの開発者、実装メイン、標準化がサブタスク。ダジャレの合間にインターネットを速くするのが仕事です kazuhooku.com Kazuho Oku @kazuho gmail の容量が15GBいっぱいになった件、一年以上前の未読の広告扱いされたメールとか不要やろってことで is:unread category:promotions older_than:1y で検索して全消した。使用量9.38GBまで下がった！ 2023-10-18 12:03:41
夜な夜なBlender生活の始め方
はじめに Blender。めっちゃ楽しいです。 仕事が終わって帰ってきてから、ほぼ朝の時間までBlenderにひたすら打ち込んで 休日の大半もBlenderに捧げるような生活をここ3週間くらい続けてきました。 ここまでの学びの整理と、Blender布教のために この記事に概要をまとめたいと思います。 Blenderの世界観 Blenderを始めるにあたって、まず第一にぶち当たる壁として 「3Dソフト特有の概念」があると思います。 他の、3Dソフトを触ったことがある人はすんなり扱えるかもしれませんが、 僕はなかったので、概念理解にちょっと苦戦しました。 Blenderの世界を構成する主な要素として シーン オブジェクト ライト カメラ これらが挙げられます。 シーンとは、 一つのBlenderファイル内に格納されている要素全てを包含する3Dワールドのようなものです。 オブジェクトとは、 一次
何故パスワードをハッシュ化して保存するだけでは駄目なのか？ - NRIネットコムBlog
不正アクセスによるIDとパスワードの漏洩を受けて、MD5によるハッシュ化について話題になっていました。システムを作る上で、パスワードの管理や認証はどう設計すべきかを考えるために、少し整理をしてみます。もし事実誤認があれば、どしどしご指摘ください。 == 2023/8/21追記 == この記事は、ハッシュの保存の仕方一つとっても、沢山の対策方法が必要であるということをお伝えするために記載しています。そして、これから紹介する手法を取れば安全とお勧めしている訳ではないので、その点をご留意いただければと思います。攻撃手法に応じての対応策の変遷を知っていただくことで、セキュリティ対策は一度行えば安全というものではないことを知って頂くキッカケになれば幸いです。 == 追記終わり == パスワードのハッシュ化 まず最初にパスワードの保存方法です。何も加工しないで平文で保存するのは駄目というのは、だいぶ認
エンジニアは勉強し続けないといけない？
ゆいゆい @yuiyui12322 これ系の話いつも思うけど、勉強が必須なんじゃなくて、必要なときに必要な技術が必要なんだよね。 それを習得するために勉強が必要なわけで。 この関係をわかってないと、勉強だけしてる無能エンジニアができあがる。仕事で必要な技術持ってるなら勉強いらないよ。 twitter.com/axgPom7dc4gDGX… 2023-07-28 10:14:54 サカモト@エンジニアキャリア論 @sakamoto_582 エンジニアは一生勉強し続けないといけませんか？ サカモトを例に話そう。これが年収1000円超えのエンジニア、プライベートでの学習に関するスタンスです 1. 休日勉強してる？ 最近だとLeetCodeの問題を解いてるけど別に好きではない、SNSアカウントのアウトプットになると思ってるから解いてる。 twitter.com/i/web/status/1… 20
車載 OS について語る
はじめに 他分野のエンジニアに「1回のミーティングで車載OSについて教えて」と相談されることがあったため、その説明の際に使ったメモ書きを共有する。一応、最初に予防線を張っておくと、私自身、車載ソフトウェア業界に身を置くが、「いわゆる車載OS分野の専門家か？」というとそうでもないし、やや距離のある分野の方への説明なので、ツッコミはお手柔らかにお願いしたい。 ISO-26262機能安全について OSという耽美な響きからGeekでTechな話を期待されたかもしれないが、まず国際標準の話から説明を始める。というのも、この点が生命・財産に関わるソフトウェアと、そうでないソフトウェアを分かつ、大きな前提のため、ここはスキップできない。 機能安全とは？ 国際標準とは世界で統一的なコミュニケーションを図るための規格であり、Terminologyについては他のどんな文書より定義が厳密なものだが、「1回のミー
Makefile警察「ぐぬぬぬ…」 - Qiita
？「プロジェクトでよく使うコマンド Makefile に書いたろー」 ？「docker compose up -d --wait っと…」 👮♀「 Makefile警察 だ！」 👮♀「 Makefile は、ソフトウェアのビルドプロセスを自動化するためのファイルだ！」 👮♀「多目的なタスクランナーとして使うな！」 ？「せやったんか。誠にごめんなさい。」 Makefile は広く使われていますが、時々目的外に使われてしまうことがあります。しかし、そのような使い方にはより適した代替手段が存在します。この記事では、 Taskfile というツールについて解説します。 Makefile のつらみ Makefile は主にビルドプロセスを自動化する目的で生まれましたが、様々なコマンドをまとめて実行する便利さから多目的なタスクランナーとしてもよく使われます。しかし、次のような問題があります
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「慶応」も「コンクリート」も漢字1文字で ～Unicode標準に新しいブロックが提案中／手書きでしばしば用いられる「部首＋カナ」スタイルの略式漢字【やじうまの杜】
