広く浅く @BantouZao17956 開店直後客「電話なんで繋がらないの？」 俺「はい？」 客「さっき電話したのに出なかった」 俺「ああ、営業時間前のやつ？」 客「なんで出ない」 俺「営業時間外だからな」 客「でも居たんだろ？」 俺「開店準備してるから居たよ」 客「出ろよ」 俺「時間外だって言ってんだろ」 #汚客様報告会 2024-05-12 16:30:32

kmizu @kmizu A Software Engineer in Osaka (& Kyoto). Ph.D. in Engineering. Interests: Parsers, Formal Languages, etc. ツイートは所属先の見解と関係ありません．思いついたことをつぶやきます．人生を楽しく生きよう（New!） kmizu.github.io

就活生向け口コミサイト「みん就」を手掛けるみん就社（旧：楽天みん就、東京都新宿区）は5月15日、「みん就 2025年卒 IT業界新卒就職人気企業ランキング」を発表した。25年卒予定の大学生・大学院生3407人に、Webでアンケート調査を実施。「仕事の魅力」「会社の魅力」「働き方の魅力」「採用広報の魅力」の4つの観点で、IT業界の人気企業を調べた。

Mac用ChatGPTクライアント「MacGPT」がGPT-4oに対応しています。詳細は以下から。 OpenAIは現地時間2024年05月13日、反応速度を向上させ、より人間らしい対話が可能にな最新のAIモデル「GPT-4o」を発表しましたが、Mac用ChatGPTクライアント「MacGPT」が最新のバージョン3.21でGPT-4oに対応しています。 Added support for the new GPT-4o model which is twice as fast and two times cheaper! リリースノートより MacGPTはNaviでApple Design Awards 2022 ファイナリストに選出されたオランダのJordi Bruinさんが開発しているChatGPTクライアントで、ChatGPTのWebベースに加え、OpenAIのAPIを利用することでネイ

We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like Option::unwrap_or_default or all other primitive functions. For each of these functions, we had to make a Coq definition to represent its behavior.

React Aria Components は Adobe によって提供されている Headless UI コンポーネントライブラリです。振る舞いや国際化に, アクセシビリティに関する機能を備えており、Button や Input, TextField, Label などのシンプルな要素から、DatePicker や ComboBox などの様々なコンポーネントが提供されています。 今回は React Aria Components の設計について紹介します。 React Aria Components のコンポーネントの設計 React Aria Components の API はコンポジションを中心に設計されています。これにより、パターン間で共通のコンポーネントを共有することも、個別に使用することも可能です。なお、コンポジションについては React Component Compos

こんにちは。 すべての合意をフェアにしたいMNTSQ（もんてすきゅー）のJessie (@Jessica_nao_) です。 仕事では、Ruby on Rails を"利用"させていただき、法務業務に利用されるSaaS Webアプリの開発を行っています。 RubyKaigi2024が間も無く開催されますね！ 土日から沖縄入りされている方の投稿がTwitterに流れてきており、既に私の気持ちもかなり高まってきています✈️ この記事では、「今回RubyKaigi に初めて参加するぞ！」という方に向けて、2023年に初めてRubyKaigiに参加した私が、知っておくと嬉しいと思うTipsやRubyKaigiのあれこれをいくつか紹介していきます📝 なお、公式アナウンスは非常に重要です。オンサイト参加の方で、Onsite Information - RubyKaigi 2024 をまだご覧になって

米VMwareは5月13日（現地時間）、Windows用仮想化ソフト「VMware Workstation Pro」について、個人利用を無償化すると発表した。macOS用の「VMware Fusion Pro」も同様。商用の場合は引き続き有償のサブスクリプションが必要になる。 一方で、機能限定版の「Workstation Player」とそのmacOS版「Fusion Player」は商用の有償版含め提供を終了する。両製品を個人で利用しているユーザーに対しては、無償で「Pro」へのアップグレードを可能にする。 今回の無償化は、VMwareが米Broadcomに買収されたことに伴う製品ラインアップの変更という。VMwareはBroadcomによる買収以降、ライセンスの体系などを大きく変更しており、ユーザーや販売代理店の間で困惑が広がっている。 関連記事 さよならVMware　Broadcom

GPT-4o テキスト、オーディオ、ビデオの入力を扱い、テキスト、オーディオ、イメージの出力が可能。 GPT-4o以前では、ChatGPTのボイスモードが3つの異なるモデルを使用していた。 GPT-4oはこれらの機能を一つのモデルに統合し、テキスト、ビジュアル、オーディオの各入力を同一のニューラルネットワークで処理する。 現在のAPIの能力 現在のAPIは、テキスト、イメージの入力とテキストの出力をサポート 追加のモダリティ（例えばオーディオ）は現時点（2024/5/14）では使えない。近日導入される予定 Colaboratoryで動かしてみる インストール

こんにちは。技術部平山です。 今回は、ハイパーカジュアルというジャンルにおけるエンジニア、 というテーマで書きます。 勉強会でしゃべった動画がありますので、そちらを見て頂いても良いかと思います。 外に出すということで、普段よりも多少丁寧にしゃべっております。 前置き 平山が作った製品群 これらは2022年あたりから現在にかけて、平山が自分で企画、実装した製品です。 これらのうち、利益を出せた製品は2つあります。 黒字製品 Draw Saber(Android iOS) Mannequin Downhill(Android iOS) の2つで、順に2800万、2100万ダウンロードです。加えて、いい線まで行ったものの、利益を出すに至らなかった製品が一つあります。 赤字だったTitanShoot Titan Shoot(Android iOS) こちらは210万ダウンロードと、うまく行ったもの

キダ・タローさんは兵庫県宝塚市出身で、高校時代に音楽バンドを結成したあと大学を中退し、その後、ピアニストや作曲家として活動しました。 NHKの番組「バラエティー生活笑百科」のテーマソングや北原謙二さんの「ふるさとのはなしをしよう」といった歌謡曲のほか、かに料理店やインスタントラーメンのCMソングなど親しみやすい音楽も数多く手がけました。

JASRAC許諾第9009285055Y45038号 JASRAC許諾第9009285050Y45038号 JASRAC許諾第9009285049Y43128号 許諾番号 ID000002929 ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標(登録番号 第6091713号)です。

Netflixが月額料金の値上げを繰り返したり、Amazonプライム・ビデオが有料のサブスクリプションに登録していても視聴時に広告を導入したことで訴訟に発展したり、NetflixやDisney+がアカウント共有を厳しく取り締まったりと、有料のストリーミングサービスは手ごろな価格で気軽に楽しめる時代ではなくなってきました。なぜどこのサービスも値上げが止まらないのかについて、オンラインメディアのVoxがムービーで解説しています。 Why the era of cheap streaming is over - YouTube アメリカに本拠を置くニュースメディアのBloombergでエンターテイメント担当の編集長を務めるルーカス・ショー氏が、ストリーミングサービスに関する時代の変化と価格の上昇について解説しています。ショー氏はBloombergでストリーミングサービスに関するニュースレターの「

コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能（広告ブロック機能を持つ拡張機能等）を無効にしてページを再読み込みしてください。 ✕

仏と南米訪問を前に報道陣の取材に応じる岸田文雄首相＝羽田空港で2024年5月1日午前9時3分、前田梨里子撮影 今国会で最大の焦点となっている政治資金規正法の改正を巡り、自民、公明両党が9日、与党案の合意にこぎつけた。衆院3補欠選挙で惨敗した危機感から、岸田文雄首相が主導する形で公明に歩み寄ったが、日程ありきで合意を急いだだけに肝心の中身には「生煮え感」も漂う。抜本改革を求める野党は結束して問題点を追及する構えだ。 「必ずこの国会で改正案を成立させるということで意見の一致を見た」 9日夕、自民の茂木敏充幹事長は与党案の概要を取りまとめた文書にサインした後、記者団にそう語った。公明の石井啓一幹事長も「政治家の責任強化が明確化できた」と意義を強調した。ただ、パーティー券購入者の公開基準引き下げについては具体的な金額が記されないなど、両党の考えに今も隔たりがあることをうかがわせた。 自公は大型連休

水俣病犠牲者の追悼慰霊式のあとの懇談の場で、患者団体などのメンバーが発言している途中で環境省の職員がマイクの音を切った問題を受けて、環境省は水俣病対策専属の担当を新たに設けるなど体制を強化し、信頼回復に努めることを明らかにしました。 この問題は今月1日、水俣病の犠牲者を追悼する慰霊式のあとの環境大臣と患者や被害者などの団体の代表との懇談の場で、団体のメンバーが発言している途中に、制限時間を超過したとして環境省の職員がマイクを切ったものです。 この問題を受けて伊藤環境大臣は、10日の閣議後の記者会見で、水俣病の患者団体など地元との信頼回復に努めるため省内の体制を強化することを明らかにしました。 具体的には、新たに水俣病対策の担当審議官を設けるとともに、担当の特殊疾病対策室の人員を増やすとしています。 また、地元の声をより丁寧に聞くため、慰霊式後の懇談の場だけではなく、副大臣や政務官が現地を訪