並び順

ブックマーク数

期間指定

  • から
  • まで

81 - 120 件 / 607件

新着順 人気順

計算の検索結果81 - 120 件 / 607件

  • 年末調整機能と過ごした7年間の軌跡 - SmartHR Tech Blog

    普段着用している年末調整Tシャツ。マル扶Tシャツは着すぎて文字がかすれている こんにちは。SmartHR プロダクトエンジニアの宮國(@gongoZ)です。 私は去る5月に誕生日を迎え、ついに40歳となりました。おめでとうございます! SmartHR に入社したのは2017年9月、つまり33歳でした。時が過ぎるのは早いものです。 良い節目なので、今回は SmartHR で過ごした約7年間を振り返っていきたいと思います。 社内経歴 入社から現在までの、社内で携わってきた業務経歴を一枚絵に起こしてみました。 宮國の社内経歴。これまで3プロダクトに携わってきたが、在籍期間の4分の3が年末調整機能 入社してしばらくは基本機能のタスクに着手していましたが、入社一ヶ月後に声をかけられました。 「年末調整機能、やってみない?」 そこから私と年末調整の関係が始まりました。途中、文書配付機能*1チームに配属

      年末調整機能と過ごした7年間の軌跡 - SmartHR Tech Blog
    • AWS RDS/Auroraでモニタリング&チューニングを始めるための資料11選

      これはなに ども、レバテック開発部のもりたです。 もりたはデータベースが好きなんですが、最近は特にAWS RDS/Auroraでのモニタリングとパフォーマンスチューニングについて興味があります。ただ、これらのうちモニタリングは扱っている話題が若干ローレベルであまりピンとこず、またチューニングもどこから手をつければいいのかわかりませんでした。 この記事では、もりたがモニタリング&チューニングを学習する上で役に立った書籍やWeb上の資料をロードマップ形式で紹介していきます。対象読者はDBのモニタリングとチューニングをやりたいけどどこから手をつければいいか分かんないなとなっている人、ゴールはそんな人がモニタリング&チューニングの第一歩を踏み出せることです。 スコープ 今回扱うもの、扱わないものは以下の通りです。 扱う モニタリング&チューニングの概要 モニタリングの前提知識 チューニングの前提知

        AWS RDS/Auroraでモニタリング&チューニングを始めるための資料11選
      • 事業計画を立てる上で必要なプロセスをシステム化し改善した話 - pixiv inside

        こんにちは。プラットフォーム開発部兼財務データ企画部のshigeniiと申します。 普段はデータ基盤の運用保守、および、全社的なデータ活用やデータ駆動推進を担当しています。 今回は、財務に関する情報の収集からその可視化までの過程をシステム化することで、事業計画や予算策定のプロセス改善に結び付けた我々の取り組みについて、システム化に焦点を当てながら書き綴りたいと思います。 この記事がバックオフィス業務において、同じような課題を抱えている方に少しでもご参考になれば幸いです。 経緯 財務レポート可視化プロジェクト システム化にあたっての具体的な取り組み Before After システム化にあたっての課題 今回の対応 全体的なシステム構成 財務レポートを作るまでのながれ 説明1.各業務システムのデータを取得 説明2.マスタ情報の取得・作成 説明3.データの加工・突合機能 説明4.データに対するセ

          事業計画を立てる上で必要なプロセスをシステム化し改善した話 - pixiv inside
        • AIが設計して3Dプリンターで印刷されたロケットエンジンが燃焼試験に成功

          ドバイを拠点とするAIエンジニアリング企業のLEAP 71が、大規模計算工学モデルのNoyronが設計して3Dプリンターで出力した液体燃料ロケットエンジンの燃焼試験に成功したことを発表しました。 LEAP 71 hot-fires 3D-printed liquid-fuel rocket engine designed through Noyron Computational Model | LEAP 71 https://leap71.com/2024/06/18/leap-71-hot-fires-3d-printed-liquid-fuel-rocket-engine-designed-through-noyron-computational-model/ We just test fired a 20,000 horsepower AI-generated rocket engi

            AIが設計して3Dプリンターで印刷されたロケットエンジンが燃焼試験に成功
          • 日本人は「無能な同僚」がとても嫌い。

            日本人は集団主義、欧米は個人主義。 日本人は和を重んじるが、欧米人はそうではない。 そんなステレオタイプを聞いたことはないでしょうか。 でも現場では、「自分勝手な人」をたくさん、見てきました。 特に多いのは、「やることは決まっているけど、個人的にイヤなのでやらない」という人で、決まったことに対して、サボタージュを行ったり、周りの社員にネガティブな意見を吹き込んで、アンチとなったりするケースです。 なんなら、「上司に楯突いている、アンチな俺はかっこいい」と思っているフシすらある人も。 もちろん、そういう人は仕事もできないし、成果もあがりません。 自分の給料が出るのは、周りの成果をあげている人のおかげだということも、気づいていません。 コンサルティング会社では、そんな人間はすぐに、クビになったり、配置転換されたりして、排除されていました。 「役に立たないやつは要らない」というのが共通見解だった

              日本人は「無能な同僚」がとても嫌い。
            • とあるプロダクトのエンジニアチームにKRとしてコード変更行数の変動係数を導入して強いチームを目指した話 - カミナシ エンジニアブログ

              はじめに こんにちは!社内の「エンジニアブログの更新を絶やさない会」の方から圧を激を貰っている Keeth こと桑原です!現在はEngineering Manager の見習いをしております. 私が所属しているサービスの開発運用に携わるチーム(Eng + PM + PD で構成。以下「サービスチーム」)では,OKR(目標と成果指標)を設定して取り組んでいます.本記事では, KR に盛り込んだ「変動係数」というあまり聞き慣れない指標を導入してみた感想や,その運用方法について振り返りたいと思います.他のエンジニアチームの運用の参考になれば幸いです. ※だいぶ文字文字しい記事になっています どのような KR をたてたのか? 前クォーターでは,サービスチームにおけるエンジニアリングの KR を定め,定期的に振り返りながら達成を目指していました.KRの内容は以下の通りです. 6月末のコード変更差分の

                とあるプロダクトのエンジニアチームにKRとしてコード変更行数の変動係数を導入して強いチームを目指した話 - カミナシ エンジニアブログ
              • 今まで名前知らんくてこう調べるしかなかった、ありがとう神様→これがバズってから検索数爆上がりで草

                雲外昇天 @ijigenrounin @rainorimen ドルフィンパンツ、いいですよね ラフでありつつも計算し尽くされたその切れ込みが、太ももの魅力を最大限に引き立てて、ルーズな裾が、私たちの“見えそうでみえないもどかしさ”をくすぐる,,,嗚呼、これは芸術的にも至高の領域に達していると言っても過言ではない,,,

                  今まで名前知らんくてこう調べるしかなかった、ありがとう神様→これがバズってから検索数爆上がりで草
                • マルチプロダクト間データ連携への技術的挑戦 - SmartHR Tech Blog

                  マルチプロダクト戦略の実現を目標として掲げ、急速にプロダクトを増やしているSmartHR。 そのような中、これまでプロダクトごとに分断されていたデータを相互に利用できるようにすることで、価値を高める試みが始まっています。この活動の中心となっているプロダクト連携ユニットに、現状と今後の展開を聞いてみました。 インタビューの様子。左:プロダクト連携ユニット 右:インタビュアー f440: それでは、プロダクト連携ユニットのインタビューを始めたいと思います。よろしくお願いいたします。 一同: よろしくお願いします。 f440: お時間を取っていただきありがとうございます。突然呼ばれてびっくりしていると思うんですけれども、個人的に一番興味あったのがプロダクト連携ユニットだったので、この度はインタビューしたいと思いまして。 最初に自己紹介から始めさせてください。まずは私から。現在プロダクト基盤開発部

                    マルチプロダクト間データ連携への技術的挑戦 - SmartHR Tech Blog
                  • EV車は日産の「サクラ」が人気だと聞きました。わが家は賃貸なので「充電器」を設置できないのですが、それでも電気自動車は「お得」ですか?(ファイナンシャルフィールド) - Yahoo!ニュース

                    電気自動車(EV車)の2023年度国内販売台数トップは、日産自動車の「サクラ」でした。電気自動車は、ガソリン車に比べて環境に優しく、走行コストも抑えられると注目を集めています。 ただ、賃貸住宅に住んでいることで、自宅駐車場に充電設備を設置できず、EV車の購入を迷っている人も多いのではないでしょうか。 そこで、日産サクラを例に、賃貸住まいの人でもお得なのかを考えてみましょう。 ▼トヨタ「アル・ヴェル」は月々でいくらの支払いが必要? 返済額を試算してみた! 燃料代だけで考えるとEV車はお得EV車の最大のメリットは、燃料代を大幅に節約できることです。搭載されているバッテリーの容量次第で走行可能距離が変わりますが、サクラの場合は容量20kwhのバッテリーをフル充電すると、約180kmの走行が可能です。 電気料金を31円/kwh(公益社団法人全国家庭電気製品公正取引協議会が設定している電気料金の目安

                      EV車は日産の「サクラ」が人気だと聞きました。わが家は賃貸なので「充電器」を設置できないのですが、それでも電気自動車は「お得」ですか?(ファイナンシャルフィールド) - Yahoo!ニュース
                    • 「有隣堂しか知らない世界」に電卓博士として出演した |SHARP

                      先日、わたし、YouTubeに出演してまいりました。書店チェーンの有隣堂さんの超人気YouTubeチャンネル「有隣堂しか知らない世界」に“電卓博士”として出演させていただいたのです。 「有隣堂しか知らない世界」はチャンネル登録者数が29万人。すごいですね。略称は「ゆうせか」で、視聴者は「ゆーりんちー」と呼ばれているそうです。 番組MCはR.B.ブッコローさんです。正直なミミズクさんで、ブッコローさんからは「シャープの王道の人から見たら『うちの会社って、電卓つくってたっけ』みたいなポジション?」というご質問もいただきました。(全く怒っていないです!)そこでわたしも、少数精鋭の電卓グループを代表して、会社員人生の約半分、15年以上にわたって電卓に関わってきた技師として、電卓の良さを率直にお伝えしてまいりました。 出演にあたっては、ブッコローさんにどんな質問をされても答えられるように、わたしもあ

                        「有隣堂しか知らない世界」に電卓博士として出演した |SHARP
                      • トヨタにピンチ到来か…「EV大逆風」の“最大の落とし穴”が発覚!EVに乗ってみてわかった、「EV時代は意外と早くやってくる」と確信した3つの現実(鈴木 貴博) @moneygendai

                        「EV大逆風」のなかで高騰する「テスラ株」のなぜ? 戦略コンサルティング業界に古くから伝わる失敗事例があります。 世界で最初にコンピュータが作られたときの専門家による未来予測では、世界のコンピュータ需要は5台だと明らかに間違った推計がされました。 当時は、コンピュータは軍が弾道計算をするための用途しかなく、その用途のために天文学的に高価な機械を買える国は5ヵ国しかなかったからです。 ゼロックスが登場した当時も、コピーマシンの需要予測は実際の未来よりも大幅に下回った数字が算出されました。コピーマシンがなかった時代、コピーは一枚か二枚しか作成できないのが常識でした。 カーボンコピーと言ってタイプライターで書類を作るときにプリント用紙の間にカーボン紙を挟むことで、一度に二枚(ないしは三枚)の書類をタイプしていたのです。 メールの宛先にCCと入れるのは、このカーボンコピーの名残です。 コンサルタン

                          トヨタにピンチ到来か…「EV大逆風」の“最大の落とし穴”が発覚!EVに乗ってみてわかった、「EV時代は意外と早くやってくる」と確信した3つの現実(鈴木 貴博) @moneygendai
                        • ChatGPTが論文のライティングスタイルにもたらした変化|genkAIjokyo|ChatGPT/Claudeで論文作成と科研費申請

                          Preprintあげたのでご報告!📣 ChatGPTが使いがちな英単語ってありますよね。「delve」「realm」「utilize」あたり。 (限界助教先生の記事面白かったです、以下👇参照)https://t.co/aYK0KDgJ7L… pic.twitter.com/ognOJecixR — 松井健太郎 睡眠・精神医学 (Kentaro Matsui) (@matsuikentaro1) May 17, 2024 論文執筆は、多くの研究者にとって時に苦痛を伴う作業です。英語を母語としない研究者にとっては特に、言語の壁が大きな障害となります。ChatGPTは、この障壁を一気に取り払ってくれます。翻訳、校正、要約作成—かつては数日を要したこれらの作業が、数分で完了する。その魅力は、抗いがたいものです。 特定の分野、特にコンピューターサイエンスや工学系の論文において、ChatGPT特有

                            ChatGPTが論文のライティングスタイルにもたらした変化|genkAIjokyo|ChatGPT/Claudeで論文作成と科研費申請
                          • 続・tar(1) はなぜオプション引数にハイフンが不要なのか?―tarとkey argumentsの起源を更に辿る

                            続・tar(1) はなぜオプション引数にハイフンが不要なのか?―tarとkey argumentsの起源を更に辿る また、過去ではなく未来方向、つまり Bell Lab で Unix の successor として生まれた Plan 9 や Inferno における tar についてはこちらで lufia 氏がまとめておられたので参考にどうぞ。Plan 9とInfernoにおけるtar(1)の変化 Introduction 前回の記事では、tar(1)が Unix v1 (1971) のtap(1)まで遡ること、 また、その引数は key というサブコマンドの原始的な姿のようなものだったことを調査した。 さて、実は Unix v1 Programmer's Manual の栄えある最初のページを飾るコマンドは今でもスタティックリンクライブラリの作成などで使われる ar(1) であり、 こち

                              続・tar(1) はなぜオプション引数にハイフンが不要なのか?―tarとkey argumentsの起源を更に辿る
                            • BigQuery縦持ちデータを動的に横持ちデータにする方法 - ドワンゴ教育サービス開発者ブログ

                              はじめに ドワンゴ教育事業でデータアナリストとして働いている小林です。 一般的にデータアナリストはデータの収集・分析を通して組織の意思決定を支援する役割を期待されることが多く、ドワンゴ教育事業における私のミッションもKPI動向の可視化やダッシュボード / レポートの作成・提供を通してデータドリブンな組織に貢献するところにあります。 私たち教育事業には施策を実行する企画者やビジネス上の意思決定者だけでなく、サービスを活用して教育の現場に立っている方々、サービスに展開している教材を制作しているチームなど多様な方面からデータ収集・分析の需要があります。それだけにやりがいも大きく楽しい日々を過ごしています。 課題について(導入に代えて) クエリを書いて、結果を分析して、資料にまとめて、展開して、共有して・・・みたいな仕事をしているとSQLで抽出した縦持ちのデータを横持ちに作り変えたいことがよくあり

                                BigQuery縦持ちデータを動的に横持ちデータにする方法 - ドワンゴ教育サービス開発者ブログ
                              • 【東京都知事選×テクノロジー】AIあんのにおける返答生成技術について(詳細編)|NSK

                                安野たかひろ事務所 技術チームで活動している角野です。普段は機械学習や自然言語処理関連の仕事をしています。 安野とは大学時代の学科の同級生で、彼が創業したBEDORE(現・PKSHA Communication)で一緒に働いていた縁もあり、技術面で今回の選挙活動をサポートしています。 私はAIあんのの開発を担当しており、特に次の3点の開発に携わっています。 返答生成ロジックの開発 返答生成に用いるデータの整備 音声合成 今回の記事では、1点目の返答生成ロジックについて解説します。システムの全体像については伊藤の記事でも解説されていますが、返答生成部分の技術により焦点を当てた記事となります。 返答生成フローについて返答生成は次の4つのパートで構成されています。 知識検索 知識のフィルタリング・リランキング 返答生成 ハルシネーションチェック 返答生成フローの全体像返答生成フローの設計思想全体

                                  【東京都知事選×テクノロジー】AIあんのにおける返答生成技術について(詳細編)|NSK
                                • 7月7日、負けるべくして負けた蓮舫。|ねこひげ

                                  はじめに 〜次の東京には行けなかった〜2024年7月7日。東京都知事選挙が投開票を迎えた。 現職の小池候補はゼロ打ち。2位は前安芸高田市長の石丸候補。3位が蓮舫候補だった。 この結果は、私自身も途中から薄々感じ取れていたことだった。 私は今回、蓮舫候補が訴えている政策に一定の合理性があると感じて、蓮舫候補のことを応援していた。 しかし、まったくもって力不足で、2位どころか3位に沈んでしまった。 選挙戦を終えて、ネット上ではさまざまな声が飛び交っている。 ある人は、2位になった石丸候補の言動に対するバッシングに焦点を移す。 石丸氏のあの気味悪さ,おかしさを一瞬で感じ取れない人たちって,なんていうか生き物としての生存本能の一部を失ってるんじゃないかという気がする。それぐらい危険。 https://x.com/adjacencypair/status/1809961237041832239ある人

                                    7月7日、負けるべくして負けた蓮舫。|ねこひげ
                                  • キーボードへのこだわりを聞いてみた ── 人生の1/3の時間は打鍵! - SmartHR Tech Blog

                                    こんにちは、プロダクトエンジニアの@ksaitoと@tafuです。 SmartHRには共通の趣味の方が集まるSlackチャンネルが数多く存在し、その一つに「#趣味_キーボード」チャンネルがあります。そこでは、新しいキーボードの情報共有や自作しました〜などのコミュニケーションが取られています。 今回は、仕事道具であるキーボードについて、こだわりのポイントや満足していない部分など、プロダクトエンジニアの@asonasさんにインタビューしてきました。 と、その前に我々のキーボードを軽く紹介させてください。 ksaitoのキーボード ksaitoが普段使っているキーボード TOFU60 を使っています。スイッチには、Outemuのサイレントクリームイエローというサイレントタクタイルスイッチを採用していて、ゴールデンウィークにキーキャップを新調しました。こだわりポイントを書くと文量が多くなってしまう

                                      キーボードへのこだわりを聞いてみた ── 人生の1/3の時間は打鍵! - SmartHR Tech Blog
                                    • AIはアニメ制作現場でどこまで活用できるのか?スタジオジブリ作品にも参加する泉津井陽一氏×AIHUB 新井モノ氏の対談から浮き彫りになった現場のニーズ | アニメ!アニメ!

                                      アニメ制作のためのAI開発を考えるアニメチェーン構想の中核メンバー、AIHUB CTO・新井モノとアニメ関係者の対談企画第2弾。今回はスタジオジブリ作品などにも参加する撮影監督・コンポジッターの泉津井陽一を迎え、制作現場でAIがどのような働きができるかについて語り合う。 ■プロフィール 泉津井陽一(せんずい・よういち) 撮影監督、コンポジッター。1997年よりスタジオジブリで「CG」「エフェクト」「撮影」などを担当。『ホーホケキョ となりの山田くん』(1999)、『千と千尋の神隠し』(2001)、『風立ちぬ』(2013)、『かぐや姫の物語』(2013)などを担当。 ジブリ作品以外でも『電脳コイル』(2007)、『ジャーニー 太古アラビア半島での奇跡と戦いの物語』(2021)で撮影監督を務めるほか、『モノノ怪 第一章「唐傘」』(2024)ではビジュアルディレクターを担当する。著書に『Open

                                        AIはアニメ制作現場でどこまで活用できるのか?スタジオジブリ作品にも参加する泉津井陽一氏×AIHUB 新井モノ氏の対談から浮き彫りになった現場のニーズ | アニメ!アニメ!
                                      • OS徒然草 (1) - VA Linux エンジニアブログ

                                        はじめに コンピュータのアーキテクチャ プログラムの構造 あとがき 執筆者 : 小田 逸郎 はじめに 筆者は自分のことを OS 開発者 (OS屋) だと思ってます。最近は、OSにあまり深く関われていないのですが、筆者が若かりし頃に情熱を注いだものであり、筆者の基盤をなしているものであることには間違いないです。 筆者が OS (UNIX) の開発に携わり始めたのは、1986年のことなので、もう40年近く経ってしまいました。その間に OS の規模も随分大きくなってしまったようです。 筆者が始めた頃の UNIX は、デバイスドライバを除くと、20K行くらいだったと記憶しています。 全コードをラインプリンタで出力、コピー、製本し、皆で読み合わせて、勉強会をしたりしていました。そんなことができる分量だったのです。 今の Linux の規模はどれくらいでしょうか。筆者たちが「Linuxカーネル 2.6

                                          OS徒然草 (1) - VA Linux エンジニアブログ
                                        • Excelなどの“表計算ソフト専用”の大規模言語モデル 米Microsoftが「SpreadsheetLLM」発表

                                          このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」(シームレス)を主宰する山下裕毅氏が執筆。新規性の高いAI分野の科学論文を山下氏がピックアップし、解説する。 X: @shiropen2 MicrosoftのExcelやGoogleのスプレッドシートなど表計算ソフトは広く使用されているが、その二次元の格子構造や複雑なレイアウト、多様なフォーマットオプションなどが、LLMにとって大きな課題となっている。今回提案するフレームワーク「SpreadsheetLLM」は、これらの課題を解決する。 このフレームワークの中核を成すのが「シートコンプレッサー」という手法である。シートコンプレッサーは3つの主要機能を持つモジュールで構成しており、まずは表計算シート内で重要な構造を持つ部分を特定する機能だ。これにより、重要な構造情報を保持しつつ、

                                            Excelなどの“表計算ソフト専用”の大規模言語モデル 米Microsoftが「SpreadsheetLLM」発表
                                          • データセンター市場で起きている劇的な半導体の主役交代 - 吉川明日論の半導体放談(308)

                                            ある日漫然と半導体アナリストの市場分析記事を眺めていたら、AMDとNVIDIAが躍進しているという趣旨の記事が出てきて興味を持って読んでみたら、かなり衝撃的な事実が浮かび上がってきて思わず詳細を調べてしまった。 記事の内容は、データセンター市場でのCPU/GPUの売り上げの推移に関するもので、Intel、AMD、NVIDIAの3社がデータセンター市場向けに供給するCPU/GPUの売り上げを四半期ごとに追いかけた形で構成されていた。GPUで強みを発揮するAMDとNVIDIAという構図は以前から感じていたが、各社の四半期の決算の数字をずらりと並べると、この2年間でデータセンター市場では劇的な変化が起こっていることがはっきりと見て取れた。 GPUノードの急増で激変するデータセンター市場 Intel、AMD、NVIDIAの3社はオープン市場で汎用のCPU/GPU半導体製品を供給している。 この2年

                                              データセンター市場で起きている劇的な半導体の主役交代 - 吉川明日論の半導体放談(308)
                                            • 真にチラつかないダークモードをついに実現したぞ。実現方法と気付きを書く | stin's Blog

                                              真にチラつかないダークモードをついに実現したぞ。実現方法と気付きを書く2024/07/14 14:36 nextjsreact このサイトはダークモードに対応しています。なぜならダークモードは基本的人権だからです(要出典)。 しばらく、サイトに訪問した直後ライトモードとダークモードが切り替わってチラつく現象が発生していました。これを改善したので、実装方法と気付いたことを残しておきます。 ダークモードの実装方法一般に、ダークモードの実装方法は3タイプあります。 OSによるモード設定を反映する メディアクエリー@media (prefers-color-scheme: dark)を使うと、OS側でダークモードを指定している時だけ有効になるスタイルを書くことが出来ます。 JavaScriptでも判定が必要な場合はmatchMedia("(prefers-color-scheme: dark)")

                                                真にチラつかないダークモードをついに実現したぞ。実現方法と気付きを書く | stin's Blog
                                              • なぜCopilot活用はうまくいかないのか? 試してわかったChatGPTとの「決定的な」違い

                                                プロンプトを書かずに生成AIを利用可能に Copilot for Microsoft 365は、生成AIを活用したソリューションの1つです。生成AIの活用と聞けば、AIへの指示である「プロンプト」を上手に作成し使いこなす姿を思い浮かべる人も多いでしょう。プロンプトの作成スキルはプロンプトエンジニアリングとも呼ばれ、生成AIを深く活用するために習得すべきとされています。 しかし、多くのユーザーにとって、プロンプトエンジニアリングは新しいスキルであり、習得までに時間もかかります。何よりもプロンプトを作成する作業は、時間と労力を要するものです。 Copilot for Microsoft 365は、この面倒なプロンプトを書かずとも、簡単に生成AIを利用できる機能が実装されていることが特徴です。Copilot for Microsoft 365を使いはじめたときには、まずはそうした簡単に利用できる

                                                  なぜCopilot活用はうまくいかないのか? 試してわかったChatGPTとの「決定的な」違い
                                                • 制御システムの安定性解析

                                                  状態方程式表現されたシステムの安定性 この記事では状態方程式表現されたシステムの安定性についてまとめます。安定性に関する動画は最下部に置いています。なお、状態方程式に基づく制御・状態フィードバック制御の全体像は次の記事でまとめています。 状態フィードバック制御・状態方程式に基づく制御のまとめ 状態方程式表現されたシステムの安定性 制御対象の極と安定性 制御対象の次数が1の場合 リアプノフの安定判別法 線形システムに対するリアプノフ方程式 MATLABライブスクリプトファイル 安定性に関する動画 関連記事 自己紹介 制御対象の極と安定性 ここでは、制御系の安定性について説明したいと思います。まずは、以下のシステムが与えられているものとします。 \begin{equation} \dot x(t) = Ax(t) + Bu(t) \\ y(t) = Cx(t) \end{equation} 各

                                                    制御システムの安定性解析
                                                  • 東京都知事選2024でネットはどのように使われていたか(鳥海不二夫) - エキスパート - Yahoo!ニュース

                                                    東京都知事選挙2024は,7月7日に投開票が行われ投票締め切りとほぼ同時に小池都知事の当選確実が発表されました. そんな都知事選で,ネットはどのように使われていたのか,いくつかのデータを分析してみました. Xにおける候補者名まず,X(旧Twitter)上でどの程度候補者名がツイートされたのかを分析しました.6月20日~7月7日までで候補者名が含まれる投稿の得票数上位3名について見てみた結果がこちらです. 各候補者の総言及数(筆者作成) この結果から,小池都知事への言及数が多いことが明らかとなりました.これは,もともと小池都知事は都知事という立場があったため言及数が多かったと考えられます.2番が蓮舫氏,3番が石丸氏でした. 次に,いつ頃それぞれの候補者について言及があったのかを調べてみました.1時間ごとの各候補者への言及数がこちら. 1時間ごとの候補者名言及数(筆者作成)この結果から,小池都

                                                      東京都知事選2024でネットはどのように使われていたか(鳥海不二夫) - エキスパート - Yahoo!ニュース
                                                    • 今こそ各地で改革の波動を起こそう(樋渡啓祐・前佐賀県武雄市長インタビュー)|首長マガジン 公式

                                                      首長向け自治体経営情報誌『首長マガジン』第2号の巻頭インタビューを掲載します。第2号では改革をテーマに多くの首長および首長経験者にお話を伺っていますが、巻頭を飾ったのは樋渡啓祐前佐賀県武雄市長でした。現職時代には次々と新機軸を打ち出し、自治体改革の先頭で旗を振っていましたが、退任後も八面六臂の活躍をされています。樋渡前市長からさまざまな秘話や秘訣を聞き出しました。 地域の理想を実現できる首長はアーティスト―今回は、樋渡さんの市長としての自治体経営経験において、どのようにして困難を乗り越えられてきたのか、具体的には市民病院の民間移譲やCCCと連携したツタヤ図書館などの尖った政策をどこまで計算の中でやってこられたのか、それらがどういう形で結実したか、あるいはしなかったのか。こうした点を掘り下げさせていただけたらと思います。 樋渡啓祐前佐賀県武雄市長(以下「樋渡」) 今日はせっかく谷畑さんが来て

                                                        今こそ各地で改革の波動を起こそう(樋渡啓祐・前佐賀県武雄市長インタビュー)|首長マガジン 公式
                                                      • OpenAIが「大規模言語モデルが人間の知能にどれだけ近づいたか」を評価する基準を作成

                                                        GPT-4oなどの大規模言語モデルを開発するOpenAIが、大規模言語モデルの知能が人間レベルにどれだけ追いつけているのかを示すための評価スケールを作成したことを明らかにしました。 OpenAI Sets Levels to Track Progress Toward Superintelligent AI - Bloomberg https://www.bloomberg.com/news/articles/2024-07-11/openai-sets-levels-to-track-progress-toward-superintelligent-ai Here’s how OpenAI will determine how powerful its AI systems are - The Verge https://www.theverge.com/2024/7/11/241967

                                                          OpenAIが「大規模言語モデルが人間の知能にどれだけ近づいたか」を評価する基準を作成
                                                        • 沈黙の臓器<腎臓>を守る食事と運動法「注意すべき食品添加物2種、自宅でできるゆったり運動2選」【医師監修】 (1/1)| 介護ポストセブン

                                                          “沈黙の臓器”と呼ばれ、不調に気づきにくい腎臓。腎機能の低下が3か月以上継続した状態を指す「慢性腎臓病」の患者は、国内に約1330万人もいるといわれており、病状が悪化すれば人工透析か腎移植をしなければ生命を維持できなくなる。慢性腎臓病を防ぐには、食生活と運動習慣の見直しが大切だ。腎臓研究の最前線に立つ名医に、腎臓を鍛えるアプローチ方法を聞いた。 教えてくれた人 黒尾誠さん/医師。『腎臓が寿命を決める』(幻冬舎新書)の著者、自治医科大学分子病態治療研究センター抗加齢医学研究部教授 上月正博さん/医師。東北大学名誉教授、山形県立保健医療大学理事長 腎臓を守る食事法「リンを含む食品添加物」に注意 食事や運動を通じて、腎臓を鍛えるアプローチがある。 まず意識したいのが、“老化促進物質”であるリンの摂取量を減らすことだ。『腎臓が寿命を決める』(幻冬舎新書)の著者で、自治医科大学分子病態治療研究センタ

                                                            沈黙の臓器<腎臓>を守る食事と運動法「注意すべき食品添加物2種、自宅でできるゆったり運動2選」【医師監修】 (1/1)| 介護ポストセブン
                                                          • AIはバブルなのか?

                                                            IT大手によるAIへの投資が盛んに行われているなか、そうした投資が「バブル」なのか実際の需要に見合ったものなのかをAI関連企業を主に扱っている投資家のデビッド・カーン氏が分析しています。 AI’s $600B Question | Sequoia Capital https://www.sequoiacap.com/article/ais-600b-question/ AI’s $200B Question | Sequoia Capital https://www.sequoiacap.com/article/follow-the-gpus-perspective/ カーン氏は2023年9月に最初の分析を投稿し、2024年6月に2つ目の分析を投稿しました。最初の分析では大手企業やスタートアップが期待しているAI関連収益をAIへのインフラ投資を基に推測し、AI関連製品の実際の収益成長率が期

                                                              AIはバブルなのか?
                                                            • GitHub Actionsの脅威検知ツール tracee-action を触ってみる

                                                              はじめに こんにちは、セキュリティエンジニアのJJ (yuasa)です。今回はGitHub Actionsのワークフローにおける脅威検知ツールであるtracee-actionを触り、検知ルールの書き方について見ていきます。なお、tracee-actionは2024年7月時点で本番環境での利用は想定されていない点にご注意ください。 This project is not production ready. We are experimenting with it to test and demostrate Tracee capabilities. tracee-action tracee-actionはTraceeを用いてGitHub Actionsのワークフローにおける脅威を検知します。TraceeはeBPFを用いてLinuxランタイム上でのシステムコールを検出することができるツールです

                                                                GitHub Actionsの脅威検知ツール tracee-action を触ってみる
                                                              • Rustで有名アルゴリズムに挑戦(20) RustとTcl/TkでGUIアプリを作ろう

                                                                普段使うツールをRustで作る場合、コマンドラインベースのものが多いと思います。それでも、Rustを使ってデスクトップアプリを作ることもできます。今回は、実績のあるGUIツールキットの「Tcl/Tk」をラップしたクレートを使って簡単なGUIを作成してみましょう。 Rustで単位変換ツールを作ったところ GUIツールキット「Tcl/Tk」のインストール Rustのライブラリを集約したcrates.ioを見ると、多くのGUIライブラリが存在します。Rustはさまざまな環境で動作することを想定していることもあり、「これこそGUIの定番」というものはありません。多くの選択肢があり、用途に応じて使い分けるのが正しい作法です。 WebブラウザベースのTauri、ゲーム開発と相性の良いegui、GTK+を利用するGTK-rs、Tcl/Tkをラップしたライブラリのtcl/tkなど、いろいろなクレートがあり

                                                                  Rustで有名アルゴリズムに挑戦(20) RustとTcl/TkでGUIアプリを作ろう
                                                                • Nintendo Switchの後継機種の生産は、現状問題ない見込み。転売は「生産数をしっかり確保」して対策へ - AUTOMATON

                                                                  任天堂は7月1日、6月27日に開催された「第84期 定時株主総会」の質疑応答の内容を公開した。このなかでNintendo Switchの後継機種の“転売対策”を訊く質問・回答なども明かされている。 株主総会のなかでは、2023年4月1日から2024年3月31日までの第84期の事業報告の内容、連結計算書類の内容などが報告。また株主・投資家向けの質疑応答がおこなわれ、公式サイトにてその内容が公開された。さまざまな質問に向けて、古川俊太郎社長や宮本茂氏といった経営陣による回答がおこなわれている。 質疑応答のなかのある質問では、Nintendo Switchの後継機種について言及。後継機が発売された際の転売対策について訊かれた古川氏はまず、昨年や一昨年には半導体部品の不足に直面してNintendo Switchを十分に生産できない状況があったことを説明した。一方で現在はそうした状況が解消されており

                                                                    Nintendo Switchの後継機種の生産は、現状問題ない見込み。転売は「生産数をしっかり確保」して対策へ - AUTOMATON
                                                                  • OpenAIが「正確かつ分かりやすい文章を出力するAI」の開発手法を公開

                                                                    OpenAIの研究チームが「言語モデルの正確性を維持しつつ文章の分かりやすさを向上させる手法」を開発し、成果を公開しています。 Prover-Verifier Games improve legibility of language model outputs | OpenAI https://openai.com/index/prover-verifier-games-improve-legibility/ PROVER-VERIFIER GAMES IMPROVE LEGIBILITY OF LLM OUTPUTS (PDFファイル)https://cdn.openai.com/prover-verifier-games-improve-legibility-of-llm-outputs/legibility.pdf チャットAIやAIアシスタントなどに用いる言語モデルには、「正確な出

                                                                      OpenAIが「正確かつ分かりやすい文章を出力するAI」の開発手法を公開
                                                                    • 生成AIでデータセンターの消費電力急増、「超大規模モデル」稼働に耐えられるか

                                                                      生成AIの急速な普及などにより、データセンターの消費電力が急増している。データセンター事業者はエネルギー効率を高めようと工夫しているものの、それを踏まえても勢いは止まらない。供給できる電力量がボトルネックになり、生成AI(人工知能)の進化などIT関連の世界的なトレンドに日本が追随できなくなるかもしれない。 「これまでは演算装置やネットワークを当たり前のように使えてきた。ただこれからは電力が制約になり得る」。三菱総合研究所の綿谷謙吾政策・経済センター研究員は、日本が将来抱え得るインフラの課題をこう指摘する。 こうした指摘の背景にあるのは、米OpenAI(オープンAI)のChatGPTをはじめとする生成AIの普及だ。三菱総研が2024年5月に発表した調査結果によると、2040年にはデータセンターで処理する計算量が2020年時点の十数万倍に膨れ上がる可能性があるという。 三菱総合研究所が作成した

                                                                        生成AIでデータセンターの消費電力急増、「超大規模モデル」稼働に耐えられるか
                                                                      • 写真から超リアルな3D空間をどうやって復元するか? 「3D Gaussian Splatting」学習の徹底解説 - Qiita

                                                                        写真から超リアルな3D空間をどうやって復元するか? 「3D Gaussian Splatting」学習の徹底解説Python機械学習数学3D最適化 はじめに 前回の「画像生成の記事」で「3D Gaussian Splatting」による画像生成技術について解説しましたが、ご覧になりましたでしょうか。この「3D Gaussian Splatting」は学習済みの3D Gaussianモデルを用いて、任意の視点から実写に近い超リアルな画像を生成できるすごい技術です。画像の高品質だけでなく、明示的な3D表現によって環境を詳細に表現しており、多様な分野での応用が期待され、高い注目を集めています。 ただし、前回の記事では、画像生成の入力となる3D Gaussianをどのように学習するのかについては触れませんでした。これは「3D Gaussian Splatting」技術の中核であり、最も難しい部分で

                                                                          写真から超リアルな3D空間をどうやって復元するか? 「3D Gaussian Splatting」学習の徹底解説 - Qiita
                                                                        • Rust+WebAssemblyを使ったWebアプリでの高速画像処理入門 - アダコテック技術ブログ

                                                                          要約 背景 WebAssembly (WASM) とは? Rust言語とは? サンプルアプリ概要 LBP特徴量計算をRustで実装 フロントエンド環境構築 バックエンド環境構築 スキーマ定義 Rust実装 WASMバイナリの生成 TypeScript実装 実行結果 まとめ メンバー募集しています! おまけ こんにちは!美味しいタコスを食べることを専門としているプロダクト開発部エンジニアの井上です。 要約 WebAssembly(WASM)、Rustは近年注目されている技術であり、これを利用することでWebアプリケーション上で高速な画像処理を実現できるよ。 我々も画像前処理を行っていたWindowsデスクトップアプリケーションを、WebAssembly+Rustを使用してWebアプリケーションに置き換えたよ。 Rust言語で実装した画像処理をWASMにコンパイル、そしてWebアプリケーション

                                                                            Rust+WebAssemblyを使ったWebアプリでの高速画像処理入門 - アダコテック技術ブログ
                                                                          • 新世代CPUアーキテクチャ「Zen 5」完全解説。Ryzen 9000シリーズはどのように進化したのか[西川善司の3DGE]

                                                                            新世代CPUアーキテクチャ「Zen 5」完全解説。Ryzen 9000シリーズはどのように進化したのか[西川善司の3DGE] ライター:西川善司 2017年の初登場以来,改良と進化を継続してきたAMDの「Zen」マイクロアーキテクチャ。その最新版となる「Zen 5」を採用するデスクトップPC向けCPU「Ryzen 9000」が,7月31日に発売となる(関連記事)。 当初のラインナップとして発表となったのは,以下に示す4製品だ。 2024年7月31日に発売予定のRyzen 9000シリーズのラインナップ AMDは,2022年に投入した「Zen 4」マイクロアーキテクチャ世代のRyzen 7000シリーズから,デスクトップPC向けCPUは「Socket AM5」(以下,AM5)プラットフォームに移行しているが,今回のRyzen 9000シリーズも,引き続きAM5向けとなっている。なお,AMDは

                                                                              新世代CPUアーキテクチャ「Zen 5」完全解説。Ryzen 9000シリーズはどのように進化したのか[西川善司の3DGE]
                                                                            • 水平分業はどうもダメだった話【池田直渡の5分でわかるクルマ経済】 | 中古車なら【グーネット】

                                                                              車のニュース 更新日:2024.07.01 / 掲載日:2024.06.28 水平分業はどうもダメだった話【池田直渡の5分でわかるクルマ経済】 文●池田直渡 写真●フィスカー、マグナ、ニデック 6月17日、新興EVメーカーのフィスカーが米連邦破産法第11条(チャプター11)の適用を申請し経営破綻した。自動車好きの皆様はご存じの通り、創業者のヘンリク・フィスカーは、BMW Z8やアストンマーチンDB9を手がけたことで知られるカーデザイナーだが、2005年以来、様々な枠組みで、主に電動車事業の立ち上げに挑み続け、失敗を重ねた。 ヘンリク・フィスカー氏はデザイナーとしてBMWやアストンマーティンで活躍した後、自動車ベンチャーを起業。2016年に電気自動車を製造するフィスカー・インクを設立した。 というとまるでフィスカー氏に才能が無い様に聞こえるかも知れないが、実は起業家に最も重要なのは、自ら世に

                                                                                水平分業はどうもダメだった話【池田直渡の5分でわかるクルマ経済】 | 中古車なら【グーネット】
                                                                              • 息子が6歳になった

                                                                                誕生日忘れてた。。。 言い訳させてもらうと数日前から妻と息子が実家に帰省しており妻は帰省すると音信不通になるのがデフォなのでこちらから連絡もしなかった。 花の独身生活を謳歌し毎晩飲み歩き、気づいたら誕生日を数日過ぎていた。 スマン、こういう父だ。 実家で盛大に誕生日祝いをしてもらったようだからいいだろ。 慌てて前から欲しがっていたNゲージ、EF551通称カバ電車を買いに行った。 ネットでも良いのだが久しぶりに電気街を散策したく、日本橋へ。 それにしてもなんで大阪に住んでいるのに関東でしか走ったことがなく40年前に引退してる電気機関車なんぞ欲しがるのか。オタの思考はさっぱりわからん。 模型屋で適当な中古車両を購入。客車もテキトーなそれっぽいものをセットで。 機関車と客車を格納できるセットケースも購入 店員に元から添付されていた単体ケースはどうするかと聞かれ、捨てといてくれと返答。 店員「良け

                                                                                  息子が6歳になった
                                                                                • 情シス子会社は「親」を救えるか、「めちゃコミ」のインフォコムが示した異例の貢献

                                                                                  日本企業による情報システム子会社のグループ外への切り離しは、近年においては決して珍しくない。しかし帝人によるインフォコムの売却は、親会社に1000億円以上の売却益をもたらすという点で極めて異例だ。情シス子会社の「存在意義」を再考する機会になるだろう。 従来の情シス子会社切り離しでよくあるパターンは、ITベンダーへの譲渡だ。その狙いは、情シス子会社の技術力強化やコスト削減とされる。情シス子会社をITベンダーの傘下に組み込むことで、技術力やノウハウを取り込むことを目指す。 もっとも、こうした理由は「建前」に過ぎない可能性がある。単に親会社が自前でのシステム開発や運用を諦めて、人員ごとITベンダーに引き取ってもらったケースが相当数存在するからだ。 それに対して帝人は2024年6月18日に、インフォコムを投資ファンドである米Blackstone(ブラックストーン)に売却すると発表した。 帝人は株式

                                                                                    情シス子会社は「親」を救えるか、「めちゃコミ」のインフォコムが示した異例の貢献