「サイゼリヤで1000円あれば最大何kcal摂れるのか」をSMTソルバー(Z3)で解いてみた。 - Qiita
前書き サイゼリヤ1000円ガチャをつくってみた(Heroku + Flask + LINEbot) 「サイゼリヤで1000円あれば最大何kcal摂れるのか」を量子アニーリング計算(Wildqat)で解いてみた。 完全に二番煎じですが、古典コンピューターが好きなので、個人的に古典コンピューター最強のなんだかよく分からないけどよく分からないものをよく分からないうちに解いてくれるソフト、z3を使ってサイゼリア問題を解いてみました。 問題 サイゼリヤのメニューを重複無しで合計1000円以下になるように選んだときに、最大の総カロリーになるようなメニューの組み合わせを求めよ。 サイゼリヤのメニューは https://github.com/marushosummers/Saizeriya_1000yen こちらを使わせて使わせて頂きました。メニューは100種類ぐらいみたいで、カロリーは整数値で、プロコ
(smt) simple mouse tracking // home ユーザのマウスの動きを保存して再生できるPHP+Ajaxな仕組み「smt」がなかなか興味深いです。 次のように、マウスを移動した軌跡を描画してくれ、利用者のマウスの動きを元にユーザビリティ向上に貢献できそう。 smtを使ったデモムービー集ページ mousemove イベントを使って座標をトラッキングさせてデータをサーバに保存、あとはデータを元にタイマーを使って描画するという仕組みのようで、なかなか面白いですね。 アクセスが多いとデータ量も結構なものになってきそうなので、自前でやるしかこうしたデータをちゃんと見ることは難しいのかもしれません。 このsmt は、ダウンロードしてサーバ設置型なので、遠慮なく使えますね。 関連エントリ Yahoo!のアクセス解析ツール「Yahoo! Web Analytics」 ケータイ用高機
現代の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
SAT/SMTソルバの仕組み
Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
この記事は Kobe University Advent Calendar 2017 - Adventar 17日目の記事です。 1年ぐらい前にC3というSMTソルバをC言語でスクラッチから作ったので、その話でもします。 よりによってなぜSMTソルバをCで書いたかというと、若気の至りでハイパーバイザに組み込んだりして遊んでたからです。 ゲストシステムの検証をランタイムにしてくれる超軽量なハイパーバイザあったらカッコイイじゃないですか。 という割と適当な理由で作ったんですが、労力に対する成果があまりにも見合わなさすぎて、今はアプローチを変えています。 そういうわけで過去の遺物から生まれたC言語製SMTソルバC3なのですが、このままお蔵入りさせるのも何なのでコードの解説とかSMTソルバがどうやって動いてるのかみたいな話をしてみます。 あ あと、私は一介の情報系学生で論理学徒ではないので、ところ
Hillman Curtis: Printed Circuit Board Manufacturing & SMT Assembly Manufacturer
18 Years' PCB Manufacturer Excellence With Quality At It's Best! Hillmancurtis is China PCB assembly manufacturer,who offers complete PCB assembly services in Shenzhen, Hillmancurits’s capable of providing turn-key and partial turn-key printed circuit board assembly services. For full turn-key, we take care of the entire process, including manufacturing of Printed Circuit Boards, procurement of co
Programmable NVIDIA GPUs are very inspiring to hardware geeks, proving that processors with an original, incompatible programming model can become widely used. NVIDIA call their parallel programming model SIMT - "Single Instruction, Multiple Threads". Two other different, but related parallel programming models are SIMD - "Single Instruction, Multiple Data", and SMT - "Simultaneous Multithreading"
simple mouse tracking (smt) is a tracking system to follow and record mouse trajectories in a web page, with the proposal to infere Internet human behaviours.The way to create something beautiful is often to make subtle tweaks to something that already exists, or to combine existing ideas in a slightly new way. This kind of work is hard to convey in a research paper. Paul Graham - Hackers and Pain
チェシャ猫 on Twitter: "本日の発表資料です。AWS IAM の意味論を SMT ソルバに解かせることで、デプロイ前にセキュリティ上の問題を検出するエンジン Zelkova の論文について解説します。 #CICD2021 #CICD2021B 君のセキ… https://t.co/RwhQyMY7Rh"
本日の発表資料です。AWS IAM の意味論を SMT ソルバに解かせることで、デプロイ前にセキュリティ上の問題を検出するエンジン Zelkova の論文について解説します。 #CICD2021 #CICD2021B 君のセキ… https://t.co/RwhQyMY7Rh
A conversation with Eric Tymoigne on MMT vs SMT, Macro Mania, dated Sept 4, 2019 MMTのプログラムにはたくさんの不確定な部分がある。今日はそのうちのひとつに注目したい：金融政策と財政政策の関係だ。MMT経済学者に興味が湧く理由のひとつは、彼らが通貨の歴史と実務の詳細に注目していることだ。この点については私は彼らに多くを学んだ。だが、詳細についてはよくあることだが、MMTが関心を持たれている具体的な部分のみに光を当てているのか、もしくは木を見て森を見ない方向に我々を向かわせているのか、考えなくてはならない。もっと大きな観点から言うと、私が（標準的なニューケインジアン理論ではなく）通貨、金融そして負債を真剣に考えるマクロ経済学の分野で育ったこともあり、なぜMMTがこんな大騒ぎになっているのか時々理解するのが難しく
高輪電機はプリント基板の実装を試作1台から承っております。 チップの手載せ、チップの手半田付けはもちろんQFP、SOPの取り外し交換作業、パターンカットやジュンフロン線等の改造作業なども承っております。
まずはSMTを理解するための基本 プロセスとスレッドの関係 今回は「SMT」(Simultaneous MultiThreading、同期マルチスレッディング)の話をしてみたい。インテルではこれを「Hyper-Threading」と呼んでおり、以下では一般論の場合にはSMT、インテル製品に関する話題ではHyper-Threadingと、それぞれ称することにする。このSMTの技法はここ5回に渡って説明してきたパイプラインの改良そのものとは、ちょっと異なる方法論である。 例えば、図1のようなデュアルコアCPUを考えてみよう。2次キャッシュがコア別に異なるのは、インテルの「Pentium D」やAMDの「Athlon 64 X2」「Athlon X2」など、共有なのが「Core Duo」以降のインテルのCoreマイクロ・アーキテクチャー製品になる。だが、この話では2次/3次キャッシュはあまり問題
SMT、eMAXIS、CMAM、Funds-i インデックスファンド実質コスト比較 (2012年6月更新)
2007年から始めたインデックス投資の記録です。投資信託やETFを使って低コストで日本、先進国、新興国株式への国際分散投資を行っています。2019年にアーリーリタイア（FIRE）しました。現在はeMAXIS Slim 全世界株式（オール・カントリー）をメインに積立中です。
SAT solver が周りでほのかに流行っている(いた?)ので，個人的には SAT solver よりも断然便利な SMT solver について書いてみようと思いたった． SMT って? SMT は Satisfiable Modulo Theories の略で，SAT だと命題変数を並べて CNF で記述しなければいけないところを，int とか，プログラムで使うような変数が扱える上，述語が使える． なので一般に記述量が減り，人間に(SAT問題よりは)読みやすくなる傾向にあると思う． SMT Solver SMT Solver については http://combination.cs.uiowa.edu/smtlib/ でいろいろ見つかるけれど，ここでは The Yices SMT Solver を使ってみる． 環境準備 Mac OS X Leopard Yices 4.2.2 例題 S
はてなブログのアクセス傾向に変化が！見知らぬアクセス元を徹底調査！！【『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記事
ミルフィユ02（smt）
ミルフィユ02（smt） せんだいメディアテークから『ミルフイユ 02』という機関誌が届いた。「地方の文化生成の現場」から、知や人との繋がり方を伝える試みで、今号が二冊目だという。 テーマは「あたらしいあそびばをつくる」。smtを設計した伊東豊雄さんの鼎談や、写真家・藤岡亜弥さんの写真などふんだんに収録されていて、今月末からメディアテークのナディッフや全国書店で発売される様子。どうぞ、お求めください。:-) その一角に「生き生きとした場をつくる？」というテキストを寄稿した。 今週末、F/Style（五十嵐恵美＋星野若菜）やOPUS（大阪）の神崎恵美子さん、東北大の本江正茂さんらと「なんのための仕事？」というタイトルで小さな場を持つのだが（申込み受付終了）、その場にも関連するものがあるような。 また先週、桑沢デザイン研究所を会場に開催された「サステナブルデザイン国際会議」における自分（西村佳
The Yices SMT Solver
Yices 2 is an SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 supports both linear and nonlinear arithmetic. Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and 1.2 are supported). Alternatively, you can write specifications using Y
KDDI、Samsung電子のAndroid 2.2搭載タブレット「SMT-i9100」を3月11日に発売 KDDIが、Samsung電子製のタブレット端末「SMT-i9100」を3月11日に発売する。3G通信には対応しないが、KDDI向けのカスタマイズも施されている。 KDDIは2月25日、Samsung電子製のタブレット端末「SMT-i9100」を3月11日から全国のau販売店で取り扱いを開始すると発表した。 SMT-i9100は、Android 2.2を搭載したタブレット端末。静電式マルチタッチに対応した7インチ（1024×600ピクセル）のディスプレイを装備しており、Flash対応コンテンツも利用できる。auの3G通信には対応していないが、auのモバイルWi-Fiルーター「Wi-Fi WALKER DATA05」に接続すれば、auのCDMA 1X WINエリアでも利用可能。タブレッ
新会員サービス SMT Members 5/21（水）いよいよスタート！ | MOVIXあまがさき | 松竹マルチプレックスシアターズ
●新会員サービス SMT Members を始めます！ いつもMOVIX・ピカデリー・神戸国際松竹をご利用いただき、誠にありがとうございます。 5月21日（水）より新会員サービス SMT Membersを開始いたします。 ※東劇は対象外。一部変更となる場合がございます。 ●お客様一人ひとりに、たくさんの”うれしい”を届けます！ 新しいSMT Membersは、会員ご本人様のみご利用いただけるサービスです。 劇場でカードを購入の上、会員情報を登録いただくと、”うれしい”特典をお届けします！ ※特典のご利用には会員情報の登録が必要です。 入会金：0円、年会費：0円、カード発行手数料：100円 ※5月14日（水）よりカード事前販売を開始、5月21日（水）より特典付与＆利用開始となります。 【ポイント付与の注意事項】 ※1上映回会員ご本人様1枚分のみ付与 ※ポイントは有料鑑賞時に付与 ※ライブビ
Wi-Fi通信でネット接続 ご自宅のブロードバンド回線※データ通信端末 (Wi-Fi WALKER DATA05など) を使って、ネット接続ができます。 ※ IEEE802.11n/b/g準拠 ※ ご利用には無線LANアクセスポイントが必要です。 Flash®サイトの閲覧もできる Adobe Flash® Playerに対応した、Android™2.2を搭載。パソコンのように、インターネットを楽しめます。
SMT
悪用することで本来アクセスできないはずの情報を読み出せるという新たなCPUの脆弱性（CVE-2018-5407）が発見された。この脆弱性はIntel CPUでのHyper-Threadingなどの同時マルチスレッディング（SMT）が影響を受けるとのことで、Intel以外のCPUでも影響を受ける可能性があるようだ（窓の杜、サイオス セキュリティブログ、Phoronix）。 この脆弱性は「PortSmash」と名付けられており、実証コードでは管理者権限なしにOpenSSLの秘密鍵を盗み出すことに成功しているという。この脆弱性はCPUの投機実行機能には依存しないとのことで、先日大きな問題になったMeltdown/Spectre脆弱性などとは無関係だという。この脆弱性についてすでにIntelへの情報提供は行われているようだが、どのような対処が行われるかは不明。とりあえずHyperThreading
EFiX - EFi- X™ デスクトップタイプ - シンセンからの通販はいかが？電子部品ブック、セキュリティーアイテム、VoiIP製品、SMT部品、プレゼンツール、EFiX など。
本商品に関しては、現在注文数が多く発送まで10日程度を要しています。納期安定と発送方法の関係で、一度に購入できる数量を最高5個までに制限させていただいております。それ以上の数量をご希望の節は、別途お問い合わせください。 EFiX 特有の機能 インタラクティブで設定可能なブートセレクター: クイックでマルチ機能なブートセレクターがブートシステムの選択ならびにMacOSXのインストール・起動方法をサポートします。 EFiXファームウェアのオンラインアップデート: MacOSXの快適さを失わわずに簡単にファームウェアをアップデートします。 EFiXアップデートツールはユーザーフレンドリーなユーティリティです。インターネット経由でMacOSXから離れることなくファームウェアをアップデートできます。数回クリックするだけでアップデートができ、毎回面倒な手順を踏む必要もありません。
Android 2.2＋7型タッチディスプレイ＋重量450グラム、Samsung製タブレット――「SMT-i9100」
OSにAndroid 2.2を採用するタッチパネル搭載タブレット端末がSamsung電子製の「SMT-i9100」だ。持ち運びと実用性を兼ねた7型サイズのボディを採用し、1024×600ドット表示とマルチタッチ操作に対応する7型ワイドの静電式タッチパネル搭載液晶ディスプレイを備える。 主な仕様は、IEEE802.11b/g/n準拠の無線LANとBluetooth v2.1+EDR、SDメモリーカードスロット（microSDHC・最大32Gバイト）、512Mバイトのメインメモリ、4Gバイトのフラッシュメモリ（ストレージ領域）、200万画素CMOSカメラ、1ワット＋1ワットのスピーカーなど。（EV-DO Rev.Aなどの）ワイヤレスWAN通信機能は内蔵せず、家庭内の無線LAN、公衆無線LAN、モバイルルータ「Wi-Fi WALKER DATA05」、WiMAXルータなど各種無線LANアクセスポ
SMT-i9100 まとめwiki
2012/08/03 マーケットfix 2012/01/16 SMT-i9100スペック 2011/12/25 FAQ 2011/12/05 対応ハード 2011/10/23 メニュー 2011/10/22 root化について 2011/10/21 旅行＆地域 ツール メディア＆動画 2011/10/20 ホームアプリ 交通 仕事効率化 トップページ 2011/10/19 ライフスタイル 音楽＆オーディオ 通信 天気 ソーシャルネットワーク 書籍＆文献 教育
ログイン｜SMT Members
SMT Members（会員）になると、おトクな特典がもらえたり、お客様情報入力の省略ができます。 会員登録してからチケット購入するとポイントが付与されます。
auタブレット「SMT-i9100」実機ハンズオン、レビュー【動画あり】 2011年2月下旬以降に発売予定のau向けAndroidタブレット「SMT-i9100」の実機ハンズオン、レビューを紹介したい。SMT-i9100は韓国サムスン電子製のタブレットで、Android 2.2を搭載したモデル。KDDIデザイニングスタジオにはすでに実機が展示されており、誰でも触って試すことができる。関心のある方は原宿のKDDIデザイニングスタジオを訪れてチェックしてみることをオススメしたい。 さて、最初にSMT-i9100のスペックと特徴をおさらいしたい。先に述べたようにAndroid 2.2タブレットなので、米Adobe SystemsのFlash Player 10.1に対応する点が大きな特徴の一つ。ディスプレイは７インチ液晶で、タッチパネルは静電容量方式。マルチタッチにも対応している。解像度は1,0
EFiX - EFi- X™ デスクトップタイプ - シンセンからの通販はいかが？電子部品ブック、セキュリティーアイテム、VoiIP製品、SMT部品、プレゼンツール、EFiX など。
MacOSXをPCにインストールできる最高のソリューション o マザーボード上のUSBコネクタ（9ピン）に接続 o EFiXファームウェアのオンラインアップデート o インタラクティブなブートセレクター o MacOSXオリジナルDVDからのインストール o Apple®のオフィシャルアップデートによるアップデートが可能 o 静電気放電と電磁干渉からの保護 EFiX USBは標準PC上で動作するMacOSXを夢見ていた人たちの究極デバイスであり、PCとMacの世界のギャップをつなぐものです。しかも正規版のMacOSXを直接PCにインストールさせるというユニークな機能を提供します。 EFiX USBがMac OSXにより、仕事や生活の質を格段に向上させます。 ハードウエアの互換性リスト、で互換性をお確かめください。このリストに該当しないハードウエアに関しての動作は保証いたしかね
Hillman Curtis: Printed Circuit Board Manufacturing & SMT Assembly Manufacturer
18 Years' PCB Manufacturer Excellence With Quality At It's Best! Hillmancurtis is China PCB assembly manufacturer,who offers complete PCB assembly services in Shenzhen, Hillmancurits’s capable of providing turn-key and partial turn-key printed circuit board assembly services. For full turn-key, we take care of the entire process, including manufacturing of Printed Circuit Boards, procurement of co
KDDIが最新のAndroid 2.2搭載の7インチタブレット端末『SMT-i9100』を発表！ いろいろ触ってみました|ガジェット通信 GetNews
KDDIが最新のAndroid 2.2搭載の7インチタブレット端末『SMT-i9100』を発表！ いろいろ触ってみました KDDIは、10月18日に開催したau向けスマートフォンと携帯電話の冬～春モデルとなる新製品の発表会で、Android 2.2を搭載する7インチのタブレット端末『SMT-i9100』を2月下旬以降に発売することを発表しました。LAN接続のみに対応し、auの回線による3G接続はできませんが、auのスマートフォン『ISシリーズ』ユーザーが使いやすいように国内向けにカスタマイズされたAndroidタブレットとなっています。 ※写真が一部しか表示されない場合はこちらをご覧ください。 最新のAndroid 2.2がプリインストールされ、『Flash Player 10.1』に対応。パソコン用Flashコンテンツが再生できます。ディスプレーは1024×600ドット、7.0インチの静
びすくんです ※記事をリライトしました。 三井住友TAM-SMT国内債券インデックス・オープンを売却しました。 国内債券ということで、安全資産を作りたかったので、購入していました。 ところが、購入時期が悪かったのか、下落しており購入時期の値まで戻ってきません。 このまま放置しておくのも微妙でしたので、今回、売却を決意しました。 三井住友TAM-SMT国内債券インデックス・オープン概要 以前から購入していた国内債券インデックスはこのようなものです。 現在では、さらに信託報酬のコストが安い商品もでているので、購入する場合はそちらが良いと思います。 委託会社：三井住友トラスト・アセットマネジメント 野村BP総合と連動する、国内債券のインデックスファンドです。 信託報酬 0.3996％ 信託残参留保額 0.05％ 現在のチャート チャートを見ると、2016年５月を目途に、下落へと進みました。 私の
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 」については説明されているのを 今までに見かけたことがなかったので こうなったら自分で調べるしかないなと思って またまた検索して調べてみたんです。 毎度、検索するのが好きな❝検索ちゃん❞です(*^日^*)゛ｸﾞﾜｯﾊｯﾊ そ
ファームウェアアップデートにより一見塞がれた自由への道持っている人がイマイチ少ないのか、イマイチ盛り上がりにかけるSMT-i9100のroot権限取得。 発売時、Android2.2.1で出荷されていたせいかわからないが、以前はかの有名なsuperoneclickでカンタンにroot権限を取得することができていた。 しかし、auがファームウェアアップデートをOTAで配信し、Android2.2.2になったとたん、root権限取得はできなくなっていた。 難攻不落と思われたが2chの勇者たちはrootへの道を見つけ出したのです。 私なり手順と必要なモノたちまずは私が利用したモノを紹介しよう。 下記のとおり五つの神器を用意した。 ・acrobreak ・psneuter ・busybox ・su ・Superuser.apk acrobreak以外はsh03c_rootkit.zipに含まれてい
【SMT 大阪】7/16、7/17 「SMTOWN LIVE TOUR V IN JAPAN」＠京セラドーム セットリスト・MC・参戦レポ | おときゅれ
WHERE TO HANG YOUR NEON? Get inspired with our Love Wall.
Image: FreeDigitalPhotos.net 3月になって、eMAXISインデックス、インデックスe両シリーズの運用報告書が出そろいました。 運用報告書から信託報酬＋その他費用である実質コストをまとめた eMAXISインデックスシリーズ実質コストまとめ（2013年1月決算） 、（旧CMAM）インデックスeシリーズ最新実質コスト(2013年3月版) から、SMT、eMAXISインデックス等6シリーズ実質コスト比較 (13年1月) を最新版に更新します。 実質コストは、信託報酬だけでなく、売買手数料や保管費用、監査費用などのその他費用のトータルコストです。 各インデックスファンドシリーズの資産クラスごとに実質コストを比較します。 （運用報告書発行時期が異なるので同一条件ではないことをご了承ください） 各資産クラスごとに最も実質コストが低いものに色を付けています。 インデックスファン
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. View the Project on GitHub LeventErkok/sbv Download ZIP File Download TAR Ball View On GitHub SBV: SMT Based Verification in Haskell Express properties about Haskell programs and automatically prove them using SMT solvers. $ ghci ghci> :m Data.SBV ghci> prove $ \x -> x `shif
【レポート】カーネル旅譚 - FreeBSDの新スケジューラ「ULE」 (1) マルチプロセッサ - SMP、SMT、NUMA、マルチコア | エンタープライズ | マイコミジャーナル
Intel CPUが搭載しているHyper-Threadingテクノロジや、2005年には登場するパソコン向けのマルチコアCPUなど、今後パソコンのプロセッサはマルチプロセッサが主流になると考えられている。これらマルチプロセッサの性能を発揮するには、OS側でのマルチプロセッサ対応が欠かせない。 マルチプロセッサ:SMP、SMT、NUMA、マルチコア マルチプロセッサアーキテクチャにはいくつか種類がある。パソコンに関係が深いものをあげれば、SMP、SMT、NUMAになるだろう。 SMP(Symmetric Multi-Processors)は、これまでパソコンのマルチプロセッサとしては主流だったアーキテクチャだ。複数のプロセッサがシステムバスとメモリを共有している。複数のプロセッサで同一のメモリアドレス空間を持っているため、特別な並列プログラミングが必要なく、従来のOSから扱いやすい。 SM
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ユーザのマウスの動きを保存して再生できるPHP+Ajaxな仕組み「smt」:phpspot開発日誌
一つのCPUで複数のスレッドを実行する技術「SMT」が合理的でなくなってきているとの指摘
SAT/SMTソルバを自作してみる話 - るくすの日記 ~ Out_Of_Range ~
SIMD < SIMT < SMT: parallelism in NVIDIA GPUs
(smt) simple mouse tracking // home
デイビッド・アンドルファット「MMTとSMT（標準的金融理論）：エリック・ティモワーニュとの対話」（2019年9月4日）
高輪電機 OfficialSite～基板実装・プリント基板・SMT
Core iシリーズにも使われる「SMT」の利点と欠点 (1/4)
SMT solver 入門 - suer のブログ
au、サムスン製タブレット「SMT-i9100」を3月11日発売
KDDI、Samsung電子のAndroid 2.2搭載タブレット「SMT-i9100」を3月11日に発売
SMT-i9100 | デジタル通信ライフ機器 | au by KDDI
CPUのSMT機能に関連した脆弱性が見つかる、SSL秘密鍵を盗む実証コードも公開 | スラド セキュリティ
auタブレット「SMT-i9100」実機ハンズオン、レビュー【動画あり】
Android 2.2搭載、サムスン製7インチWi-Fiタブレット「SMT-i9100」
au、Android 2.2搭載サムスン製タブレット「SMT-i9100」
三井住友TAM-SMT国内債券インデックスを売却。 - ビスくんのフリースタイルライフ
Android2.2.2版SMT-i9100のroot権限取得手順や私なりのbusyboxインストール方法のご紹介
SMT、eMAXIS、eシリーズ、Funds-i、年金積立等実質コスト比較
SBV: SMT Based Verification in Haskell