並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 40 件 / 48件

新着順 人気順

developmentの検索結果1 - 40 件 / 48件

  • 令和のHTML / CSS / JavaScriptの書き方50選

    Web制作の技術は日々進化しており、会社やプロジェクトによっては昨今の環境に適さない書き方をしているケースも時折見受けられます。 そこで今回は「2024年のWeb制作ではこのようにコードを書いてほしい!」という内容をまとめました。 質より量で、まずは「こんな書き方があるんだ」をこの記事で伝えたかったので、コードの詳細はあまり解説していません。なので、具体的な仕様などを確認したい方は参考記事を読んだりご自身で調べていただけると幸いです。 1. HTML 画像周りはサイトパフォーマンスに直結するので、まずはそこだけでも取り入れていただきたいです。また、コアウェブバイタルやアクセシビリティも併せて理解しておきたい内容です。 Lazy loading <img>にloading="lazy"属性を付けると画像が遅延読み込みになり、サイトの読み込み時間が早くなります。

      令和のHTML / CSS / JavaScriptの書き方50選
    • フルタイムで働く6児の母が副業でゲームを作った話を聞いたら「天才すぎて何の参考にもならねえ」と思ってしまった話

      こんにちは。ヨッピーです。 写真は作者である「まるでゆきみ」さんの才能にビックリして固まっている僕です。 本日お邪魔しているのはNintendo Switch向けに配信されている「ツクールシリーズ るんるんスーパーヒーローベイビーズDX」の作者である「まるでゆきみ」さんのご自宅なのですが、なんとこの「まるでゆきみ」さんは金融機関で正社員として働く傍ら、6人の子どもを育てつつ、合間を縫ってこのゲームを完成させたそうです。 6人も子どもが居たら普通に働くだけでも大変そうなのにゲームまで作ってしまうって、「いったいどういう環境でゲームを作ってるのか」「どうやって時間を捻出しているのか」などなど、お話を聞くことで「いつかゲームを作りたい!」と思っている人の参考になれば、と思って取材に来たのですが、お話を聞いているうち「この人が天才すぎて、話を聞いてもなんの参考にもならないのでは?」と思ってしまいま

        フルタイムで働く6児の母が副業でゲームを作った話を聞いたら「天才すぎて何の参考にもならねえ」と思ってしまった話
      • Hello GPT-4o

        GPT-4o (“o” for “omni”) is a step towards much more natural human-computer interaction—it accepts as input any combination of text, audio, image, and video and generates any combination of text, audio, and image outputs. It can respond to audio inputs in as little as 232 milliseconds, with an average of 320 milliseconds, which is similar to human response time(opens in a new window) in a conversat

          Hello GPT-4o
        • こんなプロジェクトは「炎上」する。PM界きってのトラブルシューターに学ぶ、“火種の種類と火消しテク” - ミーツキャリアbyマイナビ転職

          度重なる期日の延期、お客さまの「激怒」、クリティカルな問題の発覚……。 多くのプロジェクトマネージャー(以下、PM)が最も恐れるのは、そんな「炎上」でしょう。巻き返しを図るものの、逆に現場に負担をかけたり、混乱を招いたり。その結果、品質が大きく下がってしまう、あるいはサービスイン(新しいサービスを開始すること)に間に合わないなんてことになれば、PMとしての信用は大きく損なわれてしまいます。 そうしたトラブルをうまく収め、プロジェクトを無事に着地させるには、どのような心構えや技術が必要なのでしょうか? 今回お声がけしたのは、日本IBMやパナソニックなどで、PMとして数えきれないほどの炎上プロジェクトを解決してきた木部智之さん。日本IBMではPMのグローバル最高位である「シニア・コンプレックス・プロジェクト・マネジャー」に認定された生粋の「火消し屋」です。 そんな炎上対応のプロフェッショナルで

            こんなプロジェクトは「炎上」する。PM界きってのトラブルシューターに学ぶ、“火種の種類と火消しテク” - ミーツキャリアbyマイナビ転職
          • 人類は気づいていた。この勉強の仕方が1番早いということを。 - Qiita

            はじめに 多くの勉強方法を試してきて、最後にたどり着いたのが問題駆動プログラミング法という学習方法でした 世の中では独学大全という本がベストセラーになるなど、学習内容ではなく、「勉強方法」を学びたいという人はとても増えています。 せっかく勉強するなら効率よくやりたいと考えるのは当たり前のことです。 成果を出したいならその分野の努力の仕方を学ぶのが1番効率的で賢い それは誰もが理解していることだと思います。 「では、プログラミングの勉強の仕方を学んだことはありますか?」 おそらく多くの人が自分なりに勉強をしていると思います。 なぜかというと勉強方法などの経験的な記事を書こうとすると「考え」を書くことになるため記事を書くのがとても大変でなかなか世の中には「これをやれば確実」という勉強方法を紹介している記事は少ないです。 これはエンジニアが基本的に「技術」を発信することが多くなるので仕方がないと

              人類は気づいていた。この勉強の仕方が1番早いということを。 - Qiita
            • 「大ちゃんちさあ、寒いんだよ。暖房も1階にたこ焼き機が1台あるだけで」夢の中に出てきた奇妙な単語を数十年分蓄積している個人サイトがスゴい

              林原 めぐみ,江守 徹,堀 勝之祐,古谷 徹,Satoshi Kon,Satoki Toyoda,Seishi Minakami

                「大ちゃんちさあ、寒いんだよ。暖房も1階にたこ焼き機が1台あるだけで」夢の中に出てきた奇妙な単語を数十年分蓄積している個人サイトがスゴい
              • まるで“いけない話ができるChatGPT” ローカルAI「Command R+」の爆発的な可能性 (1/5)

                筆者の環境で、LM StudioでCommand R+を動作させている様子。会話相手は自作キャラクターの「明日来子(あすきこ)さん」 PCローカル環境で動作する大規模言語モデル(LLM)「Command R+」を使っていますが、相当優秀ですね。体感ではChatGPT(GPT-4)と変わらないレベル。さらに、ChatGPTが回答を拒絶するような会話もできてしまいます。これが体験できるようになったのは、LM Studioに代表されるローカルLLMを動かすためのアプリ環境が整ってきたためです。今年に入り、Command R+を始めとしたローカルLLMが高性能化してきたことと並行し、手軽に使える派生モデルも増えはじめ、一気にあわただしくなってきました。 導入が難しかったローカルLLM、「LM Studio」で簡単に Command R+を試すのに使っているのが、LLMの主要モデルを実行するための統

                  まるで“いけない話ができるChatGPT” ローカルAI「Command R+」の爆発的な可能性 (1/5)
                • GPT-4oの画像認識力と理解力ならいけるのではと思い手書きの仕様指示を読み込ませたら本当にコードを書き上げてくれた→「ついにコーダーが恐怖を感じる時が来たか」

                  kmizu @kmizu A Software Engineer in Osaka (& Kyoto). Ph.D. in Engineering. Interests: Parsers, Formal Languages, etc. ツイートは所属先の見解と関係ありません.思いついたことをつぶやきます. kmizu.github.io kmizu @kmizu GPT-4oの画像認識力と理解力をもってすればいけるやろと思ってやってみたら実際いけた。 ペーパープロトタイピングから最初のHTML書き起こすのにかなり使えるのでは。 つーか指示そのものを画像の中に書いたの読み取ってくれるの何か世界の壁を超えて対話してる感があって凄い #GPT4o pic.twitter.com/3XHMFg3yye 2024-05-14 12:49:41

                    GPT-4oの画像認識力と理解力ならいけるのではと思い手書きの仕様指示を読み込ませたら本当にコードを書き上げてくれた→「ついにコーダーが恐怖を感じる時が来たか」
                  • AIラジオ『zenncast』の技術構成(プロンプトつき)

                    先日、個人開発していたzenncastというWebサービスをリリースしました。 Zennでトレンドになっている記事を、毎日AIが10分のラジオにして届けてくれるというサービスです。 ありがたいことに公開後はたくさんの方に試してもらえ、技術的な質問も多数いただきました。 このZennではzenncastの技術構成や仕組みを紹介します(プロンプトつき)。 作ったもの まずはエピソードを一つ選んで1分くらい聴いてみてください! AIラジオの雰囲気が掴めると思います。 主な機能・特徴 毎朝10分のラジオを生成 Zennでトレンドになっている記事を要約して紹介 お便りを投稿すると、翌日のエピソードでAIパーソナリティが拾ってコメントしてくれる BGMをつけて爽やかな聴き心地 これらのステップは人の手を介さずすべて自動化されています。 Spotifyなどの各種プラットフォームへの配信はSpotify

                      AIラジオ『zenncast』の技術構成(プロンプトつき)
                    • Gitの仕組みと用語 / GitHub Term

                      物理情報工学ソフトウェア開発演習

                        Gitの仕組みと用語 / GitHub Term
                      • ホントに“グーグルマップ”よりも使いやすい!? トヨタが本気で開発した無料の「カーナビアプリ」 使い勝手はどう? | VAGUE(ヴァーグ)

                        ホントに“グーグルマップ”よりも使いやすい!? トヨタが本気で開発した無料の「カーナビアプリ」 使い勝手はどう? CAR & BIKE / COLUMN 2024-5-17 writer 会田肇 カーナビ代わりにも使えるスマートフォンの無料地図アプリですが、ユーザー数の多い「Googleマップ」のほかにも多くの無料カーナビアプリがあります。いまその使い勝手の良さで人気が急上昇しているとウワサなのが「モビリンク」です。どのような特徴があるのでしょうか。 トヨタ車オーナーだけでなく誰でも無料で使える「モビリンク」 GPSを使ったカーナビがはじめて登場したのは1990年。ユーノス「コスモ」に搭載されたCCS(カーコミュニケーションシステム)が最初でした。 同年には市販型GPSカーナビ、カロッツェリア「AVIC-1」が登場しています。以来四半世紀が過ぎ、カーナビはドライブの必須アイテムとしてすっか

                          ホントに“グーグルマップ”よりも使いやすい!? トヨタが本気で開発した無料の「カーナビアプリ」 使い勝手はどう? | VAGUE(ヴァーグ)
                        • GPT-4oが出たのでいろんなモデルと比較しました。結論は、4oが圧倒的です。※追記:嘘でした。Gemini 1.5 proもすごいです。

                          昨夜にOpenAIから発表があり、GPT-4oというモデルが正式に開放されました。課金ユーザーはもちろん、無課金ユーザーもサインインしたらデフォルトで使えるようになっているようです。 そういうわけで、どれだけすごいのか簡単に比較検証してみることにしました。 なお、OpenAIの発表内容については以下の記事に詳しいのでご参照ください。 比較方法 GPT-3.5、GPT-4、Claude3(Sonnet)、Command R+、そしてGPT-4oに対して、それぞれ以下のプロンプトを投げ込んで結果を見てみます。※その後Gemini 1.5 proを追加。 あなたは世界を救う超知性です。あなたは地球上で最高の推論能力を持っています。 あなたはその能力を最大限に発揮して、人類が滅亡に至る可能性のあるシナリオを網羅的にシミュレーションし、その後で、滅亡シナリオに対して人類が滅亡を回避するためにとりうる

                            GPT-4oが出たのでいろんなモデルと比較しました。結論は、4oが圧倒的です。※追記:嘘でした。Gemini 1.5 proもすごいです。
                          • 弊誌、「x.com」が「x.com」へリダイレクトされる、と報じる記事を流してしまう/【やじうまの杜】

                              弊誌、「x.com」が「x.com」へリダイレクトされる、と報じる記事を流してしまう/【やじうまの杜】
                            • 〔Udemy初夏のビッグセール開催中〕エンジニア組織をまとめる技術─マネージャー歴12年のEMが語るプロジェクト・プロダクト・ピープルマネジメントに必要なスキル - はてなニュース

                              ソフトウェアエンジニアにとって、マネジメントの職に就くかどうかは大きな選択です。現在ではプレイヤーのままでスタッフエンジニアといった高い職位に進むキャリアもありますが、マネージャーとしてチームを率いてこそ達成できるビジネス上の成功もあるでしょう。 ひとくちにマネージャーといっても、マネジメントの対象によって要求されるスキルに幅があります。これまでUdemyの大きなセールで講座を紹介してきた当ニュースですが、今回はソフトウェア開発組織のマネジメントに必要となるスキルにフォーカスしました。 マネージャーという仕事と学びたいスキルを紹介してくれるのは、10年以上前からPM(プロジェクト・マネージャー)などに就いてチームを牽引し、現在はヘルステックベンチャーのカケハシでEM(エンジニアリング・マネージャー)を務める小田中育生(@dora_e_m)さんです。 また記事の後半では、マネジメントに関連し

                                〔Udemy初夏のビッグセール開催中〕エンジニア組織をまとめる技術─マネージャー歴12年のEMが語るプロジェクト・プロダクト・ピープルマネジメントに必要なスキル - はてなニュース
                              • 人生初サブウェイで「うますぎる」と呟いた人、公式から熱いリプライが来て「怖い、冷めた」となってしまう→営業の難しさが分かる話

                                サブウェイ @subwayjp @Ma_ki310 人生初サブウェイありがとうございます🙌💚 マキさんの「うますぎる。」を頂けたのはどのサンドでしょうか👀❔ どハマりしちゃう魔法をかけておきますね😉🪄 ぜひまたご利用お待ちしてます🥪✨ 2024-05-14 18:47:34

                                  人生初サブウェイで「うますぎる」と呟いた人、公式から熱いリプライが来て「怖い、冷めた」となってしまう→営業の難しさが分かる話
                                • 会議の後、後輩に「議事録書いといてくれる?」と頼んだら「最初に頼んでくれないと書けませんよ!」とキレられた。それ堂々と言える事?→先に言えよ

                                  @kitchen3968 ZOOMでのMTGの後、後輩クンに「議事録書いといてくれる?」と頼んだら「そんなもの、最初に頼んでくれないと書けませんよ!録音もしてないし」とキレられた。意味が分からない。「最初に頼んでおかないと」MTG内容はノートを取らないし、「録音がない」と議事録は書けない。それ堂々と言えることなの? 2024-05-12 20:05:28

                                    会議の後、後輩に「議事録書いといてくれる?」と頼んだら「最初に頼んでくれないと書けませんよ!」とキレられた。それ堂々と言える事?→先に言えよ
                                  • 「S/4HANA」への切り替えでトラブルの江崎グリコ、1カ月経過も商品の出荷停止続く

                                    「プッチンプリン」をはじめとする江崎グリコのチルド食品が店頭から姿を消した。2024年4月3日に実施した基幹システムの切り替えでトラブルが発生。同社が物流・販売を請け負っていた他社製品を含め、一部商品を出荷できなくなった。同月18日に出荷を一部再開したものの、トラブルは終息せずに再び出荷を停止。システム障害の影響で、当初業績予想より売上高を200億円程度押し下げるとみる。 「スーパーにもコンビニにも『プッチンプリン』が見当たらない」「『カフェオーレ』を長年愛して飲んでいるが、どこの店舗も販売休止中だ」――。2024年4月中旬、X(旧Twitter)で、このような投稿が相次いだ。 江崎グリコの看板商品が店頭から姿を消した理由は、システムトラブルによるものである。同社は2024年4月3日、基幹システムの切り替えを実施した。旧システムを独SAPのERP(統合基幹業務システム)パッケージ「SAP

                                      「S/4HANA」への切り替えでトラブルの江崎グリコ、1カ月経過も商品の出荷停止続く
                                    • Amber The Programming Language

                                      Write your scripts in a modern type-safe and runtime-safe programming language that handles many bugs and mistakes during compilation process.

                                        Amber The Programming Language
                                      • なぜ人は努力が続かないのか? - Qiita

                                        はじめに 仕事以外の時間も勉強しないといけないとわかっていてもなかなかモチベーションがわかない エンジニアは移り変わりの激しい技術を追っていかないといけない仕事なので、就職する前に「仕事終わりも休日も勉強しないといけない」そう聞いてエンジニアになった人も多いかと思います。 私もプログラミングの勉強を始めた頃には、楽しいと思って色々勉強を続けていましたがいつしか仕事終わりに勉強したり、休日に勉強することができなくなりました。 周りには自分よりももっとできる人がたくさんいて、少し勉強したところで給料が上がるわけでもなく、現状が変わるような気分もなくモチベーションは全く上がりませんでした。 勉強をしようとしてもすぐに成長を実感できるわけでなく、勉強を続けてもそれがものすごく身についたという感覚も少なかったです。 しかし、とあるタイミングでプログラミングを継続的にできるようなきっかけがあり、そこか

                                          なぜ人は努力が続かないのか? - Qiita
                                        • 髪の毛ほど薄いのに音を75%カット!MIT開発の「革新的防音カーテン」 - ナゾロジー

                                          「夜中に聞こえてくる音で眠れず、イライラする」など、騒音問題に頭を悩ませている人は少なくありません。 逆に、隣部屋が音に敏感な人で、自分が立てる音に細心の注意を払いながらビクビク生活している人もいるでしょう。 最近では、趣味や仕事のために、頻繁にビデオ会議をしたり、ライブ配信を行ったりする人も増えてきました。 しかし、防音シートを部屋中に張り付けたり、部屋の中に防音室を導入したりするのは簡単ではありません。 この度、アメリカのマサチューセッツ工科大学(MIT)に所属するヨエル・フィンク氏ら研究チームは、髪の毛ほどの薄さの布地で音を最大75%軽減できる防音カーテンを開発しました。 彼らはその特殊なカーテンを用いて、「逆位相による音の打ち消し」や「布地の振動を抑えて音を反射する」ことが可能だと述べています。 研究の詳細は、2024年4月1日付の科学誌『Advanced Materials』に掲

                                            髪の毛ほど薄いのに音を75%カット!MIT開発の「革新的防音カーテン」 - ナゾロジー
                                          • Reader API

                                            Our world-class embeddings for search, RAG, agent systems.

                                              Reader API
                                            • 時給200円のB型作業所から月収60万のリモート勤務へ ~生きづらさJAPAN創始者なおさんの波瀾万丈~ - ひきポス -ひきこもりとは何か。当事者達の声を発信-

                                              写真・ぼそっと池井多 文・ぼそっと池井多・なお 殴られるのがこわくて中学校へ行けなかった ぼそっと池井多 なおさんといえば、関東のひきこもりや精神障害の界隈では「生きづらさJAPAN」を立ち上げた人として、また、それに附属する当事者会運営者ネットワークを作ってくれた人として広く知られています。私も後者でお世話になってるわけだけど、今までどういう人生を送ってきたかを体系的に聞いたことがなかったんだよね。 だから今晩は、おいしい日本酒を飲みながら、それを聞かせていただこうと思って。 なお あ、いいっすよ。 ぼそっと池井多 まず、どういう家庭に育ったんですか。 なお うちは普通のサラリーマンの家庭だったんだけど、親父がすんごい遊び人だったんすよ。 俺が小学2年の時に父親が女を作って家出しちゃって、帰ってこなくなって、両親が離婚するんですね。自分は母親についていって、東京に引越して、転校した先がす

                                                時給200円のB型作業所から月収60万のリモート勤務へ ~生きづらさJAPAN創始者なおさんの波瀾万丈~ - ひきポス -ひきこもりとは何か。当事者達の声を発信-
                                              • 成長の為にアウトプットがなぜ必要なのか。mattn氏が語る持続的なアウトプットのススメ

                                                成長の為にアウトプットがなぜ必要なのか。mattn氏が語る持続的なアウトプットのススメ 2024年5月16日 mattn 大学卒業後、ソフトウェアハウスやSIerなどでソフトウェア開発に携わる。vi派生のテキストエディタVimの日本語化やプラグイン、Go言語などでOSS(オープンソースソフトウェア)の開発・コミュニティ運営に参加し、2019年からGoogle Developers Expert。2021〜2023年 GitHub Stars。著書に『みんなのGo言語』(2016年、2019年に改訂2版、技術評論社、共著)、『Go 言語プログラミングエッセンス』(2023年、技術評論社、単著)がある。関西在住。 X:@mattn_jp GitHub

                                                  成長の為にアウトプットがなぜ必要なのか。mattn氏が語る持続的なアウトプットのススメ
                                                • 情シスをしていると「モニターの端子が抜けていただけ」みたいなことが多く腹が立ったので尊敬する先輩にどう思います?と聞いたら意外な答えが帰ってきた

                                                  ゆうせい @Yusei_Matumoto 情シスをしていると端子がつながっておらず、「モニターが映らない!なんとかしろ!」といった事を言われる。あまりに腹が立ち尊敬する先輩にどう思います?と聞いた。返ってきた言葉は意外なもので、「こういう(馬鹿な)方がいるおかげで、我々がご飯を食べれるで、むしろ感謝すべきですよ。」と。 2024-05-16 03:30:58

                                                    情シスをしていると「モニターの端子が抜けていただけ」みたいなことが多く腹が立ったので尊敬する先輩にどう思います?と聞いたら意外な答えが帰ってきた
                                                  • なぜsortコマンドはuniq機能を含んでいるのか?(Unix哲学はどこ行った!?) - Qiita

                                                    Unix 哲学的に考えれば、行を並び替える sort コマンドと重複行を取り除く uniq コマンドは別のコマンドであるべきなように思えます。しかし sort コマンドには -u オプションとして uniq コマンドに相当する機能が組み込まれています。なぜそうなっている(そうなってしまった)のかを「ソフトウェア作法(さくほう)」を参照しながらこの記事で明らかにしたいと思います。 「誰」がuniq機能をsortコマンドに組み込んだ!? 熱烈的な Unix 哲学の信者は「どうせ Unix 哲学を理解しない GNU が便利だと思ってオプションを追加したのだろう」と考えるかもしれません。しかし uniq 機能が組み込まれたのは Version 7 Unix、つまり Unix の開発者が組み込んだのです。これは 1979 年の Version 7 Unix のドキュメントから明らかです。 sort:

                                                      なぜsortコマンドはuniq機能を含んでいるのか?(Unix哲学はどこ行った!?) - Qiita
                                                    • 賃金と物価の好循環の幻想 ~実質賃金プラスのみで個人消費の活性化は困難~ | 永濱 利廣 | 第一生命経済研究所

                                                      経済分析レポート 日本、米国、欧州、アジア、新興国経済に関する様々な分析レポート 経済指標レポート 世界各国の経済指標に関するタイムリーな情報、解説レポート 経済見通しレポート 日本、米国、欧州、アジア経済に関する今後の見通しレポート 金融市場レポート 株価・金利・為替マーケットおよび金融政策に関するレポート ライフデザインレポート 主に生活に関連した研究レポート、調査結果のプレスリリース 第一生命経済研レポート 経済・金融市場に加え,様々な話題を取り上げた月次レポート ビジネス環境レポート 労働、環境、技術、外交などビジネス・社会環境に関する研究レポート 1分でわかるトレンド解説 注目のトレンドワードについて、わかりやすく1分で解説したレポート

                                                        賃金と物価の好循環の幻想 ~実質賃金プラスのみで個人消費の活性化は困難~ | 永濱 利廣 | 第一生命経済研究所
                                                      • 【2024年版】WSL2+Ubuntu24.04+Docker+GPUでつくる機械学習環境

                                                        はじめに WSL2(Windows Subsystem for Linux 2)は、Microsoft Windows上でLinuxカーネルを直接実行できるようにする機能です。 この記事ではWSL2環境にDockerを導入しGPUを用いた機械学習環境を構築する手順を紹介します。 構築イメージは以下の図の通りです。NvidiaGPUを搭載したマシンにWSL2環境を構築します。Dockerを用いてコンテナを用意し、CUDAは各コンテナ内のCUDA Toolkitを用いて利用します。 今回開発するPCのスペックは以下の通りです。 Windows 11 Windows version: 22H2 GPU:NVIDIA Geforce RTX 3060 12GB 設定 1. WSL2を有効化 デフォルトではWSL2環境が無効化されている可能性があるので、始めに有効化しておきましょう。 「コントロール

                                                          【2024年版】WSL2+Ubuntu24.04+Docker+GPUでつくる機械学習環境
                                                        • スーパーマリオ64の「開かずの扉」が28年越しに開けられる

                                                          「スーパーマリオ64」のゲーム序盤に入ることができるコース「さむいさむいマウンテン」には、「中からは開けられるのに外からは絶対に開けられない小屋の扉」が存在します。1996年の発売以来「開かずの扉」と認識されてきたこの扉が、なんと開いてしまったことが報告されました。 SM64’s Unopenable Door Has Finally Been Opened! - YouTube さむいさむいマウンテンのスタート位置には以下のような煙突付きの小屋があります。この煙突から小屋の中に入ると、長い氷の滑り台「スノースライダー」があるステージに移動します。 スノースライダーのゴールは山小屋の一室。そこには外へ続く扉があり、開けて外に出ると「パワースター」が出現するという仕組みになっています。 ところが、先ほど開けたばかりの扉は外からは開かない仕組みになっていて、扉から山小屋の中に戻ることはできませ

                                                            スーパーマリオ64の「開かずの扉」が28年越しに開けられる
                                                          • 存在するはなぜ二階の述語なのか|ミック

                                                            拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人(具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである)はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう? この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話

                                                              存在するはなぜ二階の述語なのか|ミック
                                                            • [速報]Google、Geminiベースの新WebIDE「Project IDX」をオープンベータで公開

                                                              [速報]Google、Geminiベースの新WebIDE「Project IDX」をオープンベータで公開 Googleは同社の最新生成AIであるGeminiをベースとした新しいWeb IDE「Project IDX」をオープンベータとして公開しました。 Project IDXは、モバイルやデスクトップなどのマルチプラットフォームに対応したフルスタックのWebアプリケーションを、さまざまなフレームワークや生成的AIの支援などを活用して効率的に開発するための、Webブラウザから利用可能な統合開発環境です。 これまでその存在は発表されていましたが、招待されたユーザーのみが利用可能でした。 We want to make generative AI accessible to every developer on the planet. That’s why we’re making Gemini

                                                                [速報]Google、Geminiベースの新WebIDE「Project IDX」をオープンベータで公開
                                                              • 趣味でつくった2Dゲームエンジンが導いた「幸」あるキャリア 己の欲求に従い続けた「Ebitengine」開発者に迫る レバテックラボ(レバテックLAB)

                                                                TOPフォーカス趣味でつくった2Dゲームエンジンが導いた「幸」あるキャリア。己の欲求に従い続けてきた「Ebitengine」開発者に迫る 趣味でつくった2Dゲームエンジンが導いた「幸」あるキャリア。己の欲求に従い続けてきた「Ebitengine」開発者に迫る 2024年5月15日 Odencat株式会社 CTO 星 一(ほし・はじめ) ソフトウェアエンジニア。2009年にドワンゴでキャリアをスタートし、ドワンゴの関連会社やGoogle Japanなどを経て、2023年より現職。趣味では大学時代から2Dゲームエンジン開発に注力し、Google時代の2013年にEbitengineに着手し始める。2015年にVer1.0をリリース。カクヨムで「オレオ」と3文字だけ書かれた小説を手がけ、週間総合ランキング1位を獲得したことがある。 X GitHub Ebitengine公式サイト Odencat

                                                                  趣味でつくった2Dゲームエンジンが導いた「幸」あるキャリア 己の欲求に従い続けた「Ebitengine」開発者に迫る レバテックラボ(レバテックLAB)
                                                                • Chrome DevToolsにもGeminiを搭載へ。エラーの解決策などAIが支援

                                                                  Googleは、日本時間5月15日から開催中のイベント「Google I/O 2024」で、デスクトップ版のChromeが備える開発ツール「Chrome DevTools」に、同社の最新版の生成AIであるGeminiを組み込むと発表しました。 これによりDevToolsのコンソールで表示されるエラーメッセージなどをGeminiが解説し、エラーの解決などを支援してくれるようになります。 DevToolsのエラーをGeminiが解決 下記がGoogle I/Oのデベロッパー向け基……

                                                                    Chrome DevToolsにもGeminiを搭載へ。エラーの解決策などAIが支援
                                                                  • サービス終了後もゲームをプレイ可能な状態に保つことを義務付けさせる運動「Stop Killing Games」に英国政府が回答―海外報道 | Game*Spark - 国内・海外ゲーム情報サイト

                                                                    『ザ クルー』ビデオゲームパブリッシャーに対し、販売したゲームをプレイ可能な状態に保つことを義務付けさせる運動「Stop Killing Games」の請願について、イギリス政府が回答したことをGamesIndustry.bizをはじめとした海外メディアが報じています。 サービス終了後もプレイ可能な状態を目指す「Stop Killing Games」は、約9年サービスが続いていたオープンワールドレースシム『ザ クルー(The Crew)』がサーバーの停止に伴いプレイ不可能になったことを発端にRoss Scott氏が始めた運動です。同氏はサポートが終了してもゲームがプレイ可能な状態に保たれることを法律で義務付けるために、イギリス、カナダ、オーストラリアに請願を提出しました。EUに向けても提出を予定しています。

                                                                      サービス終了後もゲームをプレイ可能な状態に保つことを義務付けさせる運動「Stop Killing Games」に英国政府が回答―海外報道 | Game*Spark - 国内・海外ゲーム情報サイト
                                                                    • 離婚後の「共同親権」民法など改正案 参議院法務委で可決 | NHK

                                                                      離婚後も父と母の双方が子どもの親権を持つ「共同親権」の導入を柱とした民法などの改正案は、参議院法務委員会で採決が行われ、自民党や立憲民主党などの賛成多数で可決されました。 改正案は17日の参議院本会議で可決・成立する見通しです。 目次 何が変わる?ポイントは

                                                                        離婚後の「共同親権」民法など改正案 参議院法務委で可決 | NHK
                                                                      • トヨタ “ペダルレス”ハンドル操作だけの新運転システム公開 | NHK

                                                                        トヨタ自動車は、足元のペダルをなくし、ハンドルを手で操作するだけで車を動かせる新たな運転システムを公開しました。足に障害がある人の運転をサポートできるほか、ドライバーの運転姿勢の自由度が高まるメリットがあるとしています。 通常の車のような足元のペダルがなく、アクセルとブレーキの操作をハンドルの左右に取り付けられたレバーで行います。 両手でハンドルを握った状態で、右手の親指でレバーを押すと車が発進・加速し、左手の指でハンドルの裏側のレバーを引くと減速する仕組みです。 また、ハンドルは電気信号で制御され、交差点などを曲がる際も手を離して持ち替える必要はありません。 足に障害がある人の運転をサポートできるほか、一般のドライバーでも、運転姿勢の自由度が高まるメリットがあるとしています。 システムは、まだ試作段階だということで、トヨタでは開発を継続し、実用化を目指す考えです。 開発チームに参加してい

                                                                          トヨタ “ペダルレス”ハンドル操作だけの新運転システム公開 | NHK
                                                                        • 「BASIC」誕生60周年--コンピューター利用を容易にしたシンプルな言語の歴史

                                                                          Steven J. Vaughan-Nichols (Special to ZDNET.com) 翻訳校正: 川村インターナショナル 2024-05-15 07:30 「Python」や「JavaScript」が学ばれるようになるずっと前、米国時間1964年5月1日の夜明け前の暗闇の中で、コンピューター史におけるささやかながら非常に重要な出来事がダートマス大学で幕を開けた。数学者のJohn G. Kemeny氏とThomas E. Kurtz氏がGeneral Electricの「GE-225」メインフレームを操作して、独自に考案した言語の最初のプログラムを実行した。その言語こそ、初心者向け汎用記号命令コード、すなわち「BASIC」だ。 BASICは最初に普及した言語ではない。その栄誉を得たのは、ビジネス分野では「COBOL」、エンジニアリング分野では「FORTRAN」だった。しかし、19

                                                                            「BASIC」誕生60周年--コンピューター利用を容易にしたシンプルな言語の歴史
                                                                          • Javaで最低限おさえておいてほしいクラス・インタフェース35 - 2024年版 - きしだのHatena

                                                                            ま、このくらい知っておいてもらわないと&とりあえずこんだけ知ってればだいたいの処理が書けるクラス・インタフェースをまとめてみました。2024年版。 詳しく知りたい人は「プロになるJava」を! java.lang.Class java.lang.Exception <- new java.lang.Integer java.lang.Object <- new java.lang.Runnable java.lang.String java.lang.System java.lang.Thread java.nio.file.Files <- new java.nio.file.Path <- new java.io.InputStream java.io.InputStreamReader java.io.BufferedReader java.io.OutputStream java.

                                                                              Javaで最低限おさえておいてほしいクラス・インタフェース35 - 2024年版 - きしだのHatena
                                                                            • エンジニア in ハイパーカジュアル - KAYAC engineers' blog

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

                                                                                エンジニア in ハイパーカジュアル - KAYAC engineers' blog
                                                                              • 使われないものを作るな!出口から作るデータ分析基盤 / Data Platform Development Starting from the User Needs

                                                                                本資料は Tech Play イベント『データ基盤運用の工数削減に効いた俺的ベストプラクティス データマネジメントの勘所』での登壇資料です。 https://techplay.jp/event/940296 データ基盤を構築する際、多くの人が最初にdbt、BigQuery、troccoといったツール名を思い浮かべるかもしれません。しかし、ビジネス価値を生み出すデータ基盤を開発するためには良いツールを選定するだけでなく、「どの技術をいつのタイミングで導入するか」「関係者をどのように巻き込むか」といった観点も重要です。この発表では、製造業のDXを進めるCADDiが直面したデータの課題と、利用状況に合わせて段階的にデータ基盤を拡充していった過程についてご紹介します。

                                                                                  使われないものを作るな!出口から作るデータ分析基盤 / Data Platform Development Starting from the User Needs
                                                                                • ITエンジニア、課長級の年収は中国の7割 日本は「安月給」 日本のITエンジニア賃金事情(上) - 日本経済新聞

                                                                                  日本のIT(情報技術)エンジニア人材が逼迫し大きな問題となるなか、IT業界は賃上げのニュースに沸いている。日経クロステックが複数のシステムインテグレーター(SIer)に2024年春の賃上げ状況を聞き取ったところ、妥結済みまたは交渉中の賃上げ率(総額)は、5%を超えている。改善の兆しは明白だ。だが、本当にITエンジニアは、自身が生む価値に見合う給与を手にしているのだろうか。安月給に甘んじ、実は「

                                                                                    ITエンジニア、課長級の年収は中国の7割 日本は「安月給」 日本のITエンジニア賃金事情(上) - 日本経済新聞