並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 40 件 / 96件

新着順 人気順

SMTの検索結果1 - 40 件 / 96件

  • 一つのCPUで複数のスレッドを実行する技術「SMT」が合理的でなくなってきているとの指摘

    現代のCPUは、クロック周波数の向上や入力に基づいて論理的に処理を事前に行う「投機的実行」技術など、パフォーマンスを上げるための高度な技術が数多く用いられています。そうしたCPUのパフォーマンス向上に貢献している技術の一つに、単一のCPUコアで複数のスレッドを同時に実行することができる機能「SMT(同時マルチスレッディング)」がありますが、そのSMTが合理的ではなくなってきている可能性があります。 Does SMT still make sense? https://www.codeblueprint.co.uk/2019/11/05/does-smt-make-sense.html 現代のほとんどのCPUにはSMTが使われており、並列してタスクを処理することができます。Intelが実装しているSMTは「hyperthreading」と呼ばれ、パフォーマンスの改善を目指して2002年よりP

      一つのCPUで複数のスレッドを実行する技術「SMT」が合理的でなくなってきているとの指摘
    • チェシャ猫 on Twitter: "本日の発表資料です。AWS IAM の意味論を SMT ソルバに解かせることで、デプロイ前にセキュリティ上の問題を検出するエンジン Zelkova の論文について解説します。 #CICD2021 #CICD2021B 君のセキ… https://t.co/RwhQyMY7Rh"

      本日の発表資料です。AWS IAM の意味論を SMT ソルバに解かせることで、デプロイ前にセキュリティ上の問題を検出するエンジン Zelkova の論文について解説します。 #CICD2021 #CICD2021B 君のセキ… https://t.co/RwhQyMY7Rh

        チェシャ猫 on Twitter: "本日の発表資料です。AWS IAM の意味論を SMT ソルバに解かせることで、デプロイ前にセキュリティ上の問題を検出するエンジン Zelkova の論文について解説します。 #CICD2021 #CICD2021B 君のセキ… https://t.co/RwhQyMY7Rh"
      • デイビッド・アンドルファット「MMTとSMT(標準的金融理論):エリック・ティモワーニュとの対話」(2019年9月4日)

        A conversation with Eric Tymoigne on MMT vs SMT, Macro Mania, dated Sept 4, 2019 MMTのプログラムにはたくさんの不確定な部分がある。今日はそのうちのひとつに注目したい:金融政策と財政政策の関係だ。MMT経済学者に興味が湧く理由のひとつは、彼らが通貨の歴史と実務の詳細に注目していることだ。この点については私は彼らに多くを学んだ。だが、詳細についてはよくあることだが、MMTが関心を持たれている具体的な部分のみに光を当てているのか、もしくは木を見て森を見ない方向に我々を向かわせているのか、考えなくてはならない。もっと大きな観点から言うと、私が(標準的なニューケインジアン理論ではなく)通貨、金融そして負債を真剣に考えるマクロ経済学の分野で育ったこともあり、なぜMMTがこんな大騒ぎになっているのか時々理解するのが難しく

          デイビッド・アンドルファット「MMTとSMT(標準的金融理論):エリック・ティモワーニュとの対話」(2019年9月4日)
        • はてなブログのアクセス傾向に変化が!見知らぬアクセス元を徹底調査!!【『search.smt.docomo.ne.jp』と『sp-web.search.auone.jp』について】 - pukupukuのブログ

          6月に入ってから1日のアクセス数が400pvを超えるようになり、サチコからこのようなメールが届きました。 読者の方々のおかげで、ブログ運営の励みになっています。本当にありがとうございます。m(__)m感謝 そしてはてなブログでは、独自の『アクセス解析』があり、直近の1,000アクセスからアクセス元のサイトが表示されます。(アクセス元のサイトとは、流入元のサイトのことで、はてなブログ関連やSNS、GoogleやYahoo!等の検索エンジンがあります。) そのため以前の『アクセス解析』から大きく変わってきており、よく分からない流入元がありましたで、紹介していこうと思います。 アクセス傾向を深堀り search.smt.docomo.ne.jpについて sp-web.search.auone.jpについて アクセス元に注意!! まとめ アクセス傾向を深堀り 先に、150記事時点の内容と167記事

            はてなブログのアクセス傾向に変化が!見知らぬアクセス元を徹底調査!!【『search.smt.docomo.ne.jp』と『sp-web.search.auone.jp』について】 - pukupukuのブログ
          • search.smt.docomo.ne.jpとは何じゃらほい? その他、最近の直帰率と離脱率について - ON THE ROAD~プチひきこもりの明日に架ける橋

            少し前あたりから、アクセス解析を見ていて 見慣れない流入元があって、何かな?っと気になったものがあったんです。 ↓それが「search.smt.docomo.ne.jp 」だったんですけどね。 まぁ、docomoっと出ているのでdocomo関連なんだと思ったんですが。 私はソフトバンクを利用しているので その「search.smt.docomo.ne.jp 」というのが何なのか 詳しいことが、よくわからなかったんですよ(;^ω^A よく、他のブロガーさんのところで 色々と流入元について解説されているのを見かけますけれど 「search.smt.docomo.ne.jp 」については説明されているのを 今までに見かけたことがなかったので こうなったら自分で調べるしかないなと思って またまた検索して調べてみたんです。 毎度、検索するのが好きな❝検索ちゃん❞です(*^日^*)゛グワッハッハ そ

              search.smt.docomo.ne.jpとは何じゃらほい? その他、最近の直帰率と離脱率について - ON THE ROAD~プチひきこもりの明日に架ける橋
            • SMT 新興国債券/日本株配当貴族/米国株配当貴族インデックス・オープン運用報告書(2021年05月10日決算)が交付 - じゅん@投資家志望の投資日記

              こんばんは。 保有している投資信託から運用報告書が届きました。SMTシリーズの新興国債券、日本株配当貴族、米国株配当貴族の3銘柄です。 SMTシリーズは全て2021年05月10日決算となっています。中身をサクッと確認します。 SMT 新興国債券インデックス・オープン 運用経過 騰落率:4.1% SBI証券で保有している24銘柄中で成績は上から18番目。前回が15番目でしたから、前回の運用報告書の時期と大きな変動はありません。この半年の騰落率は前年の9.1%には及びませんが、今期も4.1%と健闘しています。損益も11.12%とプラス推移しています。 現在の新規の積み立ては停止し毎月定期売却を行っていますが、スイッチしたiFree 新興国債券インデックスより損益成績よりも引き続き好調です。 主な変動要因 当期の基準価額(分配金再投資ベース)は上昇しました。 新興国債券市場では、期初から2020

                SMT 新興国債券/日本株配当貴族/米国株配当貴族インデックス・オープン運用報告書(2021年05月10日決算)が交付 - じゅん@投資家志望の投資日記
              • SMT 新興国債券/日本株配当貴族/米国株配当貴族インデックス・オープン運用報告書(2020年11月10日決算)が交付 - じゅん@投資家志望の投資日記

                こんばんは。 年末差し迫っても、ようやく本日仕事納めです。 保有している投資信託から運用報告書が届きました。SMTシリーズの新興国債券、日本株配当貴族、米国株配当貴族の3銘柄です。 SMTシリーズは全て2020年11月10日決算となっています。中身をサクッと確認します。 SMT 新興国債券インデックス・オープン 運用経過 騰落率:9.10% SBI証券で保有している24銘柄中で成績は上から15番目。前回が13番目でしたから、前回の運用報告書の時期とほぼ変わりはありません。この半年の騰落率は前年の△12.0%から一転、9.10%となっています。含み益は7.33%で5%弱のプラス推移です。半年前はコロナ禍で大きく落ち込んでいましたが、年末には元通り以上です。 現在の新規の積み立ては停止し毎月定期売却を行っていますが、スイッチしたiFree 新興国債券インデックスより損益成績よりも引き続き好調で

                  SMT 新興国債券/日本株配当貴族/米国株配当貴族インデックス・オープン運用報告書(2020年11月10日決算)が交付 - じゅん@投資家志望の投資日記
                • 事前に問題を検出できる仕組み SATソルバとSMTソルバによる充足可能性判定

                  今押さえておくべき知識をアップデートし、ノウハウを共有し、さらなるスキルアップを実現する場として開催されている、AWS で最も Developer に特化したカンファレンス「AWS Dev Day Online Japan」。ここで「ネットワークはなぜつながらないのか〜インフラの意味論的検査を目指して〜」をテーマにチェシャ猫氏が登壇。続いて、SATソルバとSMTソルバについて紹介します。前回はこちらから。 SATソルバについて チェシャ猫氏:そのために出てくる要素技術が、SATソルバとSMTソルバです。SATソルバとSMTソルバの一般論について、VPC Reachability Analyzerからいったん離れて、理論的なというか、ソルバとはなにかという話を少しします。知っている方はおさらいだと思って、聞き流してもらえればけっこうです。 SATソルバのSATはSATisfiability、

                    事前に問題を検出できる仕組み SATソルバとSMTソルバによる充足可能性判定
                  • 量子コンピュータの適用技術を生産計画立案で導入、SMTの生産最適化で

                    NECは、同社グループ会社NECプラットフォームズにおける生産計画立案向けに、量子コンピュータの適用技術「シミュレーテッドアニーリングマシン」を活用したシステムを導入する。 NECは2020年3月17日、同社グループ会社における生産計画立案向けに、量子コンピュータの適用技術を導入すると発表した。同月からこの技術を活用したシステムを導入する。 導入されるのは、NECプラットフォームズでのSMT(Surface mount technology:電子部品の基板表面実装)装置を用いた生産における計画立案だ。量子コンピュータの適用技術「シミュレーテッドアニーリングマシン」を用いて、最も効率的で無駄のない製品製造プロセスを算出し、計画内容に反映させる。 シュミレーテッドアニーリングマシンは、ベクトル技術を活用。一般的に規模が大きくなりがちな最適化問題を的確に分割したり、分割した最適化問題に対して効率

                      量子コンピュータの適用技術を生産計画立案で導入、SMTの生産最適化で
                    • Core Scheduling Looks Like It Will Be Ready For Linux 5.14 To Avoid Disabling SMT/HT - Phoronix

                      Core Scheduling Looks Like It Will Be Ready For Linux 5.14 To Avoid Disabling SMT/HT Written by Michael Larabel in Linux Security on 12 May 2021 at 10:21 AM EDT. 4 Comments It looks like the years-long effort around CPU core scheduling that's been worked on by multiple vendors in light of CPU security vulnerabilities threatening SMT/HT security will see mainline later this summer with Linux 5.14.

                        Core Scheduling Looks Like It Will Be Ready For Linux 5.14 To Avoid Disabling SMT/HT - Phoronix
                      • A billion SMT queries a day

                        At this year’s Computer-Aided Verification (CAV) conference — a leading automated-reasoning conference collocated with the Federated Logic Conferences (FLoC) — Amazon’s Neha Rungta delivered a keynote talk in which she suggested that innovations at Amazon have “ushered in the golden age of automated reasoning”. Amazon scientists and engineers are using automated reasoning to prove the correctness

                          A billion SMT queries a day
                        • Does SMT still make sense?

                          Whatever machine you’re reading this on, it’s highly likely that not all of the CPUs shown by the OS are actually physical processors. That’s because most modern processors use simultaneous multithreading (SMT) to improve performance by executing tasks in parallel. Intel’s implementation of SMT is known as hyperthreading, and it was originally introduced in 2002 as a way to improve the performance

                            Does SMT still make sense?
                          • みき🌱 on Twitter: "20代の貯金額中央値ヤバすぎる。何かあったら終わりやん。 https://t.co/SMt8mxMTiY"

                            20代の貯金額中央値ヤバすぎる。何かあったら終わりやん。 https://t.co/SMt8mxMTiY

                              みき🌱 on Twitter: "20代の貯金額中央値ヤバすぎる。何かあったら終わりやん。 https://t.co/SMt8mxMTiY"
                            • 偏見で語る兵器bot on Twitter: "最も戦闘のルールを変えた「ゲームチェンジャー」な武器は…たぶん「石」 コイツのお陰で「遠距離攻撃」という概念が導入された https://t.co/o8Smt5sPRE"

                              最も戦闘のルールを変えた「ゲームチェンジャー」な武器は…たぶん「石」 コイツのお陰で「遠距離攻撃」という概念が導入された https://t.co/o8Smt5sPRE

                                偏見で語る兵器bot on Twitter: "最も戦闘のルールを変えた「ゲームチェンジャー」な武器は…たぶん「石」 コイツのお陰で「遠距離攻撃」という概念が導入された https://t.co/o8Smt5sPRE"
                              • Google Announces AMD Milan-based Cloud Instances - Out with SMT vCPUs?

                                Google Announces AMD Milan-based Cloud Instances - Out with SMT vCPUs? Today, Google announced the planned introduction of their new set of “Tau” VMs, or T2D, in their Google Compute Engine VM offerings. The hardware consists of AMD’s new Milan processors – which is a welcome addition to Google’s offerings. The biggest news of today’s announcement however was not Milan, but the fact of what Google

                                  Google Announces AMD Milan-based Cloud Instances - Out with SMT vCPUs?
                                • SMT 新興国債券/日本株配当貴族/米国株配当貴族インデックス・オープン運用報告書(2019年11月11日決算)が交付 - じゅん@投資家志望の投資日記

                                  こんにちは。 保有している投資信託から運用報告書が届きました。今回はSMTシリーズの3銘柄を確認です。 SMT 新興国債券/日本株配当貴族/米国株配当貴族インデックス・オープンから運用報告書が交付 SMTシリーズは全て11月11日決算となっています。中身をサクッと確認します。 SMT 新興国債券インデックス・オープン 運用経過 騰落率:6.6% これまで積み立てていた25銘柄中で成績は上から11番目。前回の運用報告書の時期とほぼ変わりはありません。この半年の騰落率は前年の0.2%から一転、6.6%となっています。半年前からは5%程プラス推移して、今日現在は12%前後の含み益で推移しています。 現在の積み立ては大和-iFree 新興国債券インデックスにスイッチしたので、ただ保有しているのみです。 主な変動要因 当期の基準価額(分配金再投資ベース)は上昇しました。 期初から2019年7月下旬に

                                    SMT 新興国債券/日本株配当貴族/米国株配当貴族インデックス・オープン運用報告書(2019年11月11日決算)が交付 - じゅん@投資家志望の投資日記
                                  • SBI証券 SMT MIRAIndex エコの取り扱い開始 | お金で自由を拡げ 不幸を避ける

                                    SMT MIRAIndex エコのおさらい 投資対象 エコ インデックスマザーファンドの受益証券を主要投資対象とします。 投資態度 主として日本を含む世界各国の金融商品取引所等に上場している株式に投資し、FactSet Global Environmental Opportunities Index(税引後配当込み、円換算ベース)に連動する投資成果を目指します。 信託報酬 年0.700% ※税別、以下注記ない限り税別 信託財産留保額 ありません 販売手数料 取得申込受付日の翌営業日の基準価額に、3.0%の率を上限として、販売会社が別に定める手数料率を乗じて得た額とします 設定日 2019年10月29日 信託期間 無期限 <詳細記事>世界の環境関連企業で構成 SMT MIRAIndex エコが2019.10.29に設定 FactSet Global Environmental Opportu

                                      SBI証券 SMT MIRAIndex エコの取り扱い開始 | お金で自由を拡げ 不幸を避ける
                                    • JeongWoo on Twitter: "韓国政府、全国民に抗体検査を推進❗️❗️😵 ニューヨークで住民を抗体検査した結果、14%(270万人)が抗体が形成されていることを確認した。抗体はコロナに感染した後、免疫の証拠であるため抗体を検査すれば過去の感染有無を確認すること… https://t.co/QAxJ6m9smt"

                                      韓国政府、全国民に抗体検査を推進❗️❗️😵 ニューヨークで住民を抗体検査した結果、14%(270万人)が抗体が形成されていることを確認した。抗体はコロナに感染した後、免疫の証拠であるため抗体を検査すれば過去の感染有無を確認すること… https://t.co/QAxJ6m9smt

                                        JeongWoo on Twitter: "韓国政府、全国民に抗体検査を推進❗️❗️😵 ニューヨークで住民を抗体検査した結果、14%(270万人)が抗体が形成されていることを確認した。抗体はコロナに感染した後、免疫の証拠であるため抗体を検査すれば過去の感染有無を確認すること… https://t.co/QAxJ6m9smt"
                                      • Finding JIT Optimizer Bugs using SMT Solvers and Fuzzing

                                        In this blog post I want to describe a recent bug finding technique that I've added to the PyPy JIT testing infrastructure. This technique uses the Z3 theorem prover to find bugs in the optimizer of PyPy's JIT, in particular its integer operation optimizations. The approach is based on things I have learned from John Regehr's blog (this post is a good first one to read), Twitter, and on his (et al

                                        • 10進カウンターでデジタル時計を作ろう——はんだ付け電子工作キット「CD4017 SMT Clock Kit」|fabcross

                                          はんだ付け電子工作キット「CD4017 SMT Clock Kit」がKickstarterに登場し、わずか1日で目標額の調達に成功している。開発者のIan Dunn氏は以前同じコンセプトのプロジェクトを発表しており、今回はすべての電子部品をSMT(表面実装)部品で構成している。 CD4017 SMT Clock Kitは、10進カウンターロジックIC「CD4017」を使ってデジタル時計を自作できるキットだ。キットの内容は基板と電子部品となっており、すべての電子部品は自分ではんだ付けをする必要がある。SMT部品は、はんだ付けしやすいように大きなものを選んでおり、最も小さいダイオード「SOT-123」でも、径4mm(錫60%/鉛40%)のはんだと、先細タイプのこて先を使えば、はんだ付けはそれほど難しくないとしている。 時刻表示は12時間/24時間を選択でき、CD4017を6個(時×2/分×2

                                            10進カウンターでデジタル時計を作ろう——はんだ付け電子工作キット「CD4017 SMT Clock Kit」|fabcross
                                          • AMDが4way-SMTを備えた次世代EPYC CPUをリリースか : PCパーツまとめ

                                            2019年09月25日14:02 AMDが4way-SMTを備えた次世代EPYC CPUをリリースか カテゴリCPUAMD 146: Socket774 (ワッチョイ c1de-AVYV) 2019/09/25(水) 01:25:41.87 ID:tSkOzghg0 AMD Could Release Next Generation EPYC CPUs with Four-Way SMT | TechPowerUp AMDは「Zen 3」アーキテクチャの設計段階を完了しており、その詳細についてはすでに噂が出ています。 今回、Hardwareluxxは、AMDがZen 3コアで4ウェイ同時マルチスレッドテクノロジーをベーキングして、データセンターCPUのパフォーマンスを向上させ、並列処理能力を高めることができると報告しました。2020年中に登場する予定の「MILAN」というコードネームのZe

                                            • How To Access Destiny Smt Imagine - lulasopa

                                              In a world ruled by desires and corruption shrouded with mysterious and unexplained incidents that terrorized the country, a group of young hearts aroused and bloomed fighting the unmerciful current of injustice and unfairness. The young Ren Amamiya was like a prisoner who's held captive by his own heart trying desperately to break free from its cage and flap its wings soaring freely in the sky. C

                                                How To Access Destiny Smt Imagine - lulasopa
                                              • 【SMT/SMD特集】スミダコーポレーションSMDパワーインダクタ 小型・低背の品揃え拡充 | 電波新聞デジタル

                                                スミダコーポレーションは、小型、低背のSMDパワーインダクタの製品ラインアップを拡充している。車載用に加え、第5世代高速通信規格5GおよびIoT関連など、成長分野に提案する。 SMDパワーインダクタは、フェライト系とメタル系で用途に最適化した製品を展開している。 フェライト系パワーインダクタは、低損失のフェライト材を使用し、低DCRで高効率を実現している。小型、低背タイプから大電流対応まで製品ラインアップを充実させている中、「CDBシリーズ」では、「CDB64D48」「CDB78D73B」「CDB87D48」などが代表的。 CDB64D48は、7.2×6.6×5ミリメートルサイズ。インダクタンスは0.1-0.15μH。CDB78D73Bは、10×8×7.5ミリメートルサイズで、0.12-0・27μHをカバーする。「CDB87D48」は、12×9×5ミリメートルサイズ。 メタル系パワーインダ

                                                  【SMT/SMD特集】スミダコーポレーションSMDパワーインダクタ 小型・低背の品揃え拡充 | 電波新聞デジタル
                                                • AMD Ryzen 9 3900X、SMTオンvs SMTオフ、vsインテル9900K - 自作ユーザーが解説するゲーミングPCガイド

                                                  すべてのアプリケーション、ゲーム、およびプロセッサは、上記のドライバとハードウェアでテストされています。テストシステム間でパフォーマンスの結果が再利用されることはありません。 すべてのゲームとアプリケーションは同じゲームバージョンを使用してテストされています。 特に指定のない限り、すべてのゲームは最高品質の設定に設定されています。 アプリケーションベンチマーク 個々のアプリケーションスコア SuperPi SuperPiは、オーバークロックと調整を伴う最も人気のあるベンチマークの1つです。 それ以来ずっと、世界記録の競技会で使われてきました。 これは純粋にシングルスレッドのCPUテストで、円周率を3200万桁まで計算します。 1995年にリリースされ、x86の浮動小数点命令のみをサポートしているため、シングルスレッドのレガシアプリケーションのパフォーマンスを確認するのに役立ちます。 シング

                                                    AMD Ryzen 9 3900X、SMTオンvs SMTオフ、vsインテル9900K - 自作ユーザーが解説するゲーミングPCガイド
                                                  • APC Smart-UPS 500(SMT500J)でsmart protocol(J606)を使う - rabbit51

                                                    it's since Nov.30 2005 May.29 2014, transferred from broach APC Smart-UPS 500(SMT500J)のバッテリー定数( Battery Constant )を確認設定をするため、modbus経由のシリアルインターフェースでsmart protocolが使える方法を探していた。 「Post-smart protocol, pre-MODBUS APC UPS Communication using a COM port on a 2010 APC SMT2200 running firmware 7.1(2016/3/21)」で基板上のコネクタJ606にUARTを接続してsmart protocolが扱えるビデオ記事を見つけた。その情報から「Hacking the newer APC ups's(2016/9/24)」で

                                                      APC Smart-UPS 500(SMT500J)でsmart protocol(J606)を使う - rabbit51
                                                    • 『SMTを無効にしたとき、スリープに移行できるか否か』 MSI B450 GAMING PLUS のクチコミ掲示板

                                                      [ログイン新規ID登録]閲覧履歴ご利用ガイド 『SMTを無効にしたとき、スリープに移行できるか否か』のクチコミ掲示板 ホーム > パソコン > マザーボード > MSI(エムエスアイ) > B450 GAMING PLUS > クチコミ掲示板 MSI 2018年 7月31日 発売 B450 GAMING PLUS 「B450」チップセット搭載のAMD製CPU対応ATXマザーボード。ゲーミング向けモデルで、第2世代Ryzenシリーズにも対応している。 メモリー回路をほかのコンポーネントから完全に独立させることで、すぐれたパフォーマンスと安定性を実現する「DDR4 Boostテクノロジー」を採用。 PCI Express 3.0 ×4の帯域を使用することにより、M.2スロットを最大32Gb/sの転送速度で使用可能な「Turbo M.2」スロットを装備。 お気に入り登録 253 最安お知らせメー

                                                        『SMTを無効にしたとき、スリープに移行できるか否か』 MSI B450 GAMING PLUS のクチコミ掲示板
                                                      • [Watch-HD]] Movie When You Hear The Divine Call (2020) Full Online Full smt - zestotadre

                                                        MovieS.4K.UltraHD!~FERVOR* HOW to Watch When You Hear The Divine Call Online legally & For Free; here you can Watch Full Movie 3D Action HD Watch When You Hear The Divine Call (2020) Online Free Full Movie, 8 Movies to Watch ‘When You Hear The Divine Call’ Film, Full. When You Hear The Divine Call 2020 Full Movie Free Streaming Online with English Subtitles ready for download,When You Hear The Div

                                                          [Watch-HD]] Movie When You Hear The Divine Call (2020) Full Online Full smt - zestotadre
                                                        • PythonでSMTソルバ (z3py) 入門

                                                          はじめに SMTソルバ[1]とは、数式や真理値を用いて定式化された問題を解くツールです。例えば「x + y < 5 を満たす自然数(x, y) をすべて求めなさい。」のような問題を解くことができます。 SMTソルバには様々な種類がありますが、本記事では z3[2] を利用して簡単な問題を解いてみます。 準備 pip で z3py をインストールします。[3] チュートリアル 簡単な例 問題 x + y < 5 を満たす自然数(x, y) をすべて求めなさい。 解答 (x,y) = (1,1),(1,2),(1,3),(2,1),(2,2),(3,1) 具体的には、次のコードを用いて求めます。 from z3 import * # 変数定義 x = Int("x") y = Int("y") # 基本制約 s = Solver() s.add(x > 0, y > 0) s.add(x +

                                                            PythonでSMTソルバ (z3py) 入門
                                                          • My SMT S&P500インデックス(ノーロード) | 基準価額一覧 | 三井住友信託銀行

                                                            投資信託は、直接もしくは投資対象投資信託証券を通じて、主に国内外の株式や債券、不動産投資信託証券等に投資します。投資信託の基準価額は、組み入れた株式や債券、不動産投資信託証券等の値動き、為替相場の変動等の影響により上下します。これによりお受取金額が投資元本を割り込むおそれがあります。投資信託の運用により信託財産に生じた損益は、全て投資信託をご購入いただいたお客さまに帰属します。

                                                              My SMT S&P500インデックス(ノーロード) | 基準価額一覧 | 三井住友信託銀行
                                                            • 世界の環境関連企業で構成 SMT MIRAIndex エコが2019.10.29に設定 | お金で自由を拡げ 不幸を避ける

                                                              SMT MIRAIndex エコの概要 投資対象 エコ インデックスマザーファンドの受益証券を主要投資対象とします。 投資態度 主として日本を含む世界各国の金融商品取引所等に上場している株式に投資し、FactSet Global Environmental Opportunities Index(税引後配当込み、円換算ベース)に連動する投資成果を目指します。 信託報酬 年0.700% ※税別、以下注記ない限り税別 信託財産留保額 ありません 販売手数料 取得申込受付日の翌営業日の基準価額に、3.0%の率を上限として、販売会社が別に定める手数料率を乗じて得た額とします 設定日 2019年10月29日 信託期間 無期限 当初販売会社 三井住友信託銀行 情報ソース EDINET FactSet Global Environmental Opportunities Indexとは FactSet

                                                                世界の環境関連企業で構成 SMT MIRAIndex エコが2019.10.29に設定 | お金で自由を拡げ 不幸を避ける
                                                              • GPIFが採用するESG指数!SMT ETF カーボン・エフィシェント日本株が2021.6.23上場 | お金で自由を拡げ 不幸を避ける

                                                                略称 SMT 低炭素日本株 信託報酬 年0.115%(税別、以下注記ない限り税別) 信託期間 無期限 情報ソース:新規上場の承認(ETF):SMT ETF カーボン・エフィシェント日本株(三井住友トラスト・アセットマネジメント) | 日本取引所グループ S&P/JPX カーボン・エフィシェント指数とは 年金積立金管理運用独立行政法人(GPIF)が採用するESG指数の1つです。 国内でも認知度が高まりつつあります。 指数のコンセプト 本指数は、日本市場の動向を示す代表的な株価指数であるTOPIXをユニバースとし、環境情報の開示状況、炭素効率性(売上高当たり炭素排出量)の水準に着目して、構成銘柄のウエイトを決定する指数です。 環境情報の開示を十分に行っている企業や炭素効率性の高い(売上高当たり炭素排出量が少ない)企業のウエイトを引き上げるなどのルールを採用することで、市場全体の環境に関する取り

                                                                  GPIFが採用するESG指数!SMT ETF カーボン・エフィシェント日本株が2021.6.23上場 | お金で自由を拡げ 不幸を避ける
                                                                • 「SMT JPX日経インデックス400」を売却、「i-mizuhoゴールドインデックス」に乗り換える

                                                                  わが子の証券口座には毎月コツコツと積立てを しているのですが、「SMT JPX日経インデックス400」 というインデックスファンドが10%の利益が 出たため、これを売りはらって「i-mizuhoゴールド インデックス」というファンドに乗り換えました。 理由: 【1】金(ゴールド)はそろそろ底値に近い。 どうせアメリカの利上げがあっても折込済み なので金価格は対して変わらないだろう。 それならぼちぼち金を買っておこう。 「SPDRゴールドシェア」が一般的だが もっと気軽に買いたいのでインデックスで いい。 【2】「SMT JPX日経インデックス400」の 信託報酬は 0.3996%、それにたいして 「ニッセイJPX日経400インデックスファンド」 だと信託報酬は0.3348%とわずかに安い。 それなら日経平均が下がったところで改めて 「ニッセイJPX日経400インデックスファンド」 を買いな

                                                                  • SMT、コンテンツマッチングサービス 『Ballooon RW「とりもち」』の提供を開始 ~レコメンドウィジェットとの連携により、更なるメディア収益化の向上へ~|SMN株式会社

                                                                    SMT、コンテンツマッチングサービス 『Ballooon RW「とりもち」』の提供を開始 ~レコメンドウィジェットとの連携により、更なるメディア収益化の向上へ~ SMN株式会社(本社:東京都品川区、代表取締役社長:石井 隆一、以下SMN)のグループ会社であるSMT株式会社(本社:東京都品川区、代表取締役社長:宮口 文秀、以下SMT)は、クラウド型のコンテンツ(*1)マッチングサービス『Ballooon RW(Recommend Widget) 「とりもち」』(以下「とりもち」)の提供を、10月7日(水)より開始いたします。 なお、「とりもち」は、本年10月にSMTが継承し、メディア支援プラットフォーム「Ballooon」の機能として、サービスラインナップに追加されました。(※参考:発表内容) ■「とりもち」サービスサイト< https://www.torimochi.jp/ > 「とりもち

                                                                      SMT、コンテンツマッチングサービス 『Ballooon RW「とりもち」』の提供を開始 ~レコメンドウィジェットとの連携により、更なるメディア収益化の向上へ~|SMN株式会社
                                                                    • Smart-UPS LCD (SMT, SMXシリーズ) 液晶ディスプレイにバッテリ セツゾク ヒツヨウと表示された場合の対処方法 | Schneider Electric 日本

                                                                      Smart-UPS LCD SMTシリーズ, Smart-UPS X SMXシリーズのLCDパネルに バッテリ セツゾク ヒツヨウ (日本語設定) Connect Battery (英語設定) のエラーメッセージが表示された際の対処方法の説明です。 【対象製品】 Smart-UPS LCD SMTシリーズ Smart-UPS X SMXシリーズ 【対処方法】 バッテリ セツゾク ヒツヨウ (Connect Battery) が表示される場合には次の2つが考えられます。

                                                                      • i-SMTシリーズ信託報酬引き下げおよびMy SMTシリーズにファンド名称変更 | お金で自由を拡げ 不幸を避ける

                                                                        My SMT ダウ・ジョーンズ・インデックス(ノーロード) My SMT S&P500インデックス(ノーロード) My SMT 国内債券インデックス(ノーロード) My SMT グローバル債券インデックス(ノーロード) My SMT 新興国債券インデックス(ノーロード) My SMT J-REITインデックス(ノーロード) My SMT グローバルREITインデックス(ノーロード) <詳細記事>超低コスト My SMT インデックスシリーズの7本を2022.3.29設定 最後に SMTシリーズ i-SMTシリーズ を展開する三井住友トラスト・アセットマネジメントがMy SMTシリーズの第二弾(TOPIX、先進国株式など)が新規設定を予定していましたが、i-SMTシリーズの信託報酬を引き下My SMTシリーズにファンド名称変更しました。 最安の信託報酬のファンドもありますが、超低コスト化が進

                                                                          i-SMTシリーズ信託報酬引き下げおよびMy SMTシリーズにファンド名称変更 | お金で自由を拡げ 不幸を避ける
                                                                        • APCのUPS(無停電電源装置) SMT500J を買ってみた - えくせるちゅんちゅん

                                                                          無停電電源装置を新調したので覚書も兼ねて紹介しておく。 買ったもの なんのためにUPSを買ったのか 身の回りの家電の消費電力 検証結果 UPSは延命装置であって、バッテリーではないですよ 参考資料 オムロン 無停電電源装置(常時商用給電/正弦波出力) 500VA/300W BY50S オムロン 無停電電源装置(常時商用給電/正弦波出力) 550VA/340W BW55T APC Smart-UPS 500 LCD 100V SMT500J E サンワサプライ ワットチェッカーplus 10種類測定可能 検電器 TAP-TST7 サンワサプライ ワットモニター TAP-TST8N さいごに 買ったもの APC Smart-UPS 500 LCD 100V SMT500J E メディア: エレクトロニクス APC Smart-UPS 500 LCD 100V SMT500J E お値段は¥23

                                                                            APCのUPS(無停電電源装置) SMT500J を買ってみた - えくせるちゅんちゅん
                                                                          • 6コア12スレッド、Zen+でSMTありの格安限定Ryzenプロセッサー「Ryzen 5 1600AF」販売開始 | Ark Tech and Market News Vol.3003155

                                                                            6コア12スレッド、Zen+でSMTありの格安限定Ryzenプロセッサー「Ryzen 5 1600AF」販売開始 AMDのデスクトップ向けRyzenプロセッサーシリーズに一世代前のZen+アーキテクチャベースを採用し税別9,980円と格安な限定モデル「RYZEN 5 1600AF」が登場、2020年5月16日(土)11:00より販売を開始した。 主なスペックはソケットAM4、6コア12スレッド、通常動作クロック3.2GHz(ブースト時最大クロック 3.6GHz) 、キャッシュ 19MB (3MB L2キャッシュ + 16MB L3キャッシュ)、最大PCIe(3.0)レーン数 24、TDP 65Wでクーラー付属のリテイルボックス版。

                                                                              6コア12スレッド、Zen+でSMTありの格安限定Ryzenプロセッサー「Ryzen 5 1600AF」販売開始 | Ark Tech and Market News Vol.3003155
                                                                            • ABC164 F - I hate Matrix Construction をSAT/SMTソルバで解く - Qiita

                                                                              AtCoder Beginner Contest #164 のF問題として出題された「I hate Matrix Construction」は非常に難しく、AtCoder Problems による推定難易度では新体制移行後のABCで2番目に難しい問題となっています。 その要因として、問題の考察自体が難しいことも挙げられますが、それよりも解を得るために必要な盤面のパターンや条件分岐が膨大であり、実装が非常に困難であることが大きいです。 ところで、この問題は指定された条件を満たす解を与えるプログラムを考える、「構成」系の問題です。特にこの問題の条件は非常に単純な論理式で記述することができます。このような問題はSATやSMTなどのソルバと非常に相性が良いです。 SMTソルバを用いることで、問題に対して一切本質的な考察を行うことなく、満たしてほしい制約を入力するだけで自動的に問題を解いてくれます。

                                                                                ABC164 F - I hate Matrix Construction をSAT/SMTソルバで解く - Qiita
                                                                              • おしるこ🪴 on Twitter: "何してるの? https://t.co/SmT4YFR67C"

                                                                                何してるの? https://t.co/SmT4YFR67C

                                                                                  おしるこ🪴 on Twitter: "何してるの? https://t.co/SmT4YFR67C"
                                                                                • 『SMTで赤外線リモコンのパルス幅を測定する』

                                                                                  はじめてのPICマイコン ブログ PICを使った電子工作のプログラムを作成する上で重要なポイントを整理します。 Curiosity開発ボードに赤外線受信モジュールとUSBシリアル変換器を取り付け、赤外線リモコンからの信号パルス幅を測定し、PCにUSB経由で送信します。 PCでCoolTermなどの通信ソフトを使いデータを受信すると、下図の様に、リモコンから送られてきた信号のパルス幅がus単位の一覧形式で表示されます。 1 使用部品 USBシリアル変換器 秋月電子通商の【P/N K-14652】絶縁USBシリアル変換モジュールを mikroBUSコネクターに取り付け羅れるよう作成したものを使用しました。 赤外線リモコン受信モジュール 赤外線リモコンからの信号を受信し、そのパルス信号を負論理で出力するモジュールと RC7 に接続します。モジュールは秋月電子で購入した [OSRB38C9AA]

                                                                                    『SMTで赤外線リモコンのパルス幅を測定する』