演算される対象のもの。被演算数。
誤爆回避：オペラ
バンチ計算システムの構成素： 項 バンチ 書き換え規則 書き換えアクション 書き換え系列〈sequence〉 説明： 項は構文的コンビネーション ツリー構造 リーフは型付き変数または型付きリテラル、型は圏の対象 リーフ以外のノードはコネクティブ 文法範疇があってもよい。 バンチは項の構文木 ツリー構造 リーフは項 リーフ以外のノードは区切り記号〈コネクティブ〉 書き換え規則は、個々の書き換えアクションのもとになるパターン 仮パラメータを持つかもしれない。 適用可能性条件が付くかもしれない。 書き換えアクション 書き換え規則の仮パラメータに実パラメータを代入して得られる。 書き換え規則の名前、実…
文書の一覧 JTC1/SC22/WG21 - Papers 2022 mailing2022-07 全部で47本あります。 P0009R18 MDSPAN P1018R17 C++ Language Evolution status 🦠 pandemic edition 🦠 2022/06–2022/07 P1083R6 Move resource_adaptor from Library TS to the C++ WP P1255R8 A view of 0 or 1 elements: views::maybe P1642R11 Freestanding Library: Easy [u…
目次ページに戻る / 前 前回からの差分をまとめて見る sub_sp 命令を廃止 VM命令 sub_sp を廃止しました。 オペランドを負の値にすれば add_sp で代用できるので。 これで VM のコードが5行減って、実装の量の面でも、仕様の面でも、またちょっとコンパクトになりました。 VM命令がいっぱいあると、入門者視点では「えー、こんなにいっぱい覚えないといけないの……」となりそうなので、少ない数で済ませられるならその方がいいかなと。 ちなみに sub_sp を使っているのは変数宣言のときだけ。 --- a/vgcodegen.rb +++ b/vgcodegen.rb @@ -290…
rutilicus.hatenablog.com これの続きです。改めて解析対象のソースコードなど。 ソースコード int a() { int type; type = getParam(); switch (type) { case 1: hoge(); // oops break; case 2: newHoge(); break; default: piyo(); poyo(); break; } foo(); bar(); return 0; } これから出力したLLVM IRも。 LLVM IR ; ModuleID = 'aft.c' source_filename = "aft.…
こんにちは、デジタルペンテスト部のst98です。 2022年6月14日(火)から2022年6月17日(金)にわたって、ギリシャのアテネで開催されたInternational Cybersecurity Challenge (ICC) 2022というCTFの大会に、アジアチームのメンバーとして参加してきました。 どんな競技だったか、どんな結果だったかといった内容の参加記については先日LAC WATCHに投稿しました。 www.lac.co.jp 遅くなりましたが、本記事ではより技術的な内容をメインにお話ししたいと思います。競技1日目にはJeopardy形式が採用されていましたが、そこで出題された…
C言語標準ライブラリに含まれるqsortは、配列のソートを行ってくれる関数です。 第一引数にソート対象の配列、第二引数に配列の要素数、第三引数一要素のサイズ、第四引数に比較関数、のように渡すことで、ソートを行ってくれます。 ここで、第四引数に渡す比較関数をどのように書くかについてまとめてみます。 比較関数の仕様 int comp( const void* lhs, const void* rhs )のような関数を書く必要があります。ここで、返り値は、 lhsの方が小さい（より正確には、「配列の先頭に近い方に配置してほしい」）場合は、負の値 lhsとrhsが等しい場合は、0 lhsの方が大きい（…
MLIRについて勉強している。 ちょっとTypeについて詰まってしまったので、ドキュメントを読み直している。 mlir.llvm.org MLIRは完全に拡張可能なインフラストラクチャとして設計されている; 属性(定数メタデータなど)、演算、型などについての閉じた集合が存在しない。MLIRはこの拡張性をDialect(方言)という考え方によってサポートしている。Dialectはユニークなnamespaceによって抽象化グループである。 MLIRでは、Operationsが抽象化と計算のコアユニットであり、多くのLLVM命令と似ている。Operationsはアプリケーション特有のセマンティックを…
ESR-H CPU用クロスアセンブラ ＴＮＫＡＳＭ Ver 2.0１．はじめに。 ＴＮＫＡＳＭはＰＣ－１３６０のバイナリファイルを生成するアセンブラです。 ＴＮＫＢのプログラムを実行するために作成しましたが、単独でも使用できます。 1.2 特徴 INCLUDE疑似命令をサポートしています。 MACRO疑似命令をサポートしています。 バイナリ転送においてＲｅｖ氏作成のＢＩＮＲＳを用いることができます。 開発フロー２．使用方法 ２．１ アセンブル コマンドラインに以下のように入力します。 TNKASM <ﾌｧｲﾙ名> [ .拡張子 ] 【注意】パス名の指定はできません。（拒否されます） 例 \TN…
シナトラ 今週の目標 継続 yukihaga.hatenablog.com 新規 タスクをできるだけ早く終わらせることを意識する 平日で1週間の振り返りブログを書き終わる マスタリングTCP/IPを読み終わる web技術で学んだ全てのことをブログにする。 目的がないのに見るのをやめる。 DAY19(2022 6/27) 画像レイアウトを修正した。 親要素を超えるとレイアウトが崩れるエラーを修正した。 Webアプリケーションのテストケースをひたすら考えた。 github copilotが凄すぎて感動した。推測されるコードが正しいかを自分で判断する力が大事だと感じた。 DAY20(2022 6/2…
PMDのJavaルールについてまとめます。バージョン6.35.0時のルールとなっています。 非推奨となっているルールには「△」を先頭に付与しています。 バージョン6.35.0から6.47.0までのルールの差分については別の記事でまとめています。 olafnosuke.hatenablog.com Error Proneカテゴリには、紛らわしい、もしくはランタイムエラーが発生しやすい構造を検出するためのルールを含んでいる。 AssignmentInOperand オペランド中の代入ロジックを検出 // NG例 public void doSomething() { if ((x = getX()…
Tanaka, Masahiro, et al. "Automatic graph partitioning for very large-scale deep learning." 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS). IEEE, 2021. @inproceedings{tanaka2021automatic, title={Automatic graph partitioning for very large-scale deep learning}, author={…
RISC-V GPUへのハードウェア拡張の実装に関する論文の内容をサマライズしていく。 出典：https://carrv.github.io/2022/ 経緯 ちょうど本日ISCAの併設CARRVでRISC-VのGPU拡張の論文が出ているので、サマライズして教えてください(笑)。https://t.co/C2T8McuydMImplementing Hardware Extensions for Multicore RISC-V GPUs https://t.co/PJa9LkvEzh— Masayuki@FPGA開発日記 (@dev_msyksphinz) 2022年6月20日 ベースとなっ…
MLIRについて勉強している。 独自言語を作成し、その中間表現をMLIRを使って表現してみることに挑戦する。 ここで想定する流れは以下の通りだ。 独自言語(MYSV : System Verilogオリジナル改造バージョン) を読み込んで、独自形式でASTを作成する MYSVのASTをMLIRのツリーに変換する MLIRのツリーをダンプする 次は、最適化の実装をするためにいくつか言語拡張をしていく。 Toy言語の場合は、Transpose(Transpose(A))の場合にはTransposeしない、という最適化を例に紹介がされている。 https://mlir.llvm.org/docs/T…
公認心理師試験の直前の確認に、特に重要な部分だけを抜粋した、自作ノートを公開します！自己責任の下、必要に応じてご活用ください。 ここでは、学習心理学の要点を抜粋しています。 学習心理学 １．レスポンデント条件付け（古典的） ２．オペラント条件付け （１）効果の法則 （２）オペラント条件付け （３）三項随伴性（ABC理論） （４）オペラント行動の４パタン ３．さまざまな学習 ４．行動と理論 他のページ 学習心理学 １．レスポンデント条件付け（古典的） 条件刺激と無条件刺激の連合によって成立する。 例）エサ（無条件刺激）⇒よだれ（無条件反応） ベルの音（中性刺激）⇒反応なし エサ（無条件刺激）／ベ…
今日は YJIT の不具合修正、Bignum の乗算の不具合修正などがありました。 [9d18661e1d] Noah Gibbs 2022-06-01 14:22:08 UTC YJIT のコード生成実装でオペランドなどのオブジェクトのクラスが前提を満たす時の最適化で T_STRING の時にクラスが String じゃなくても(String を継承したサブクラス)最適化してしまっていた不具合を修正しています。 https://github.com/ruby/ruby/pull/5969 [689b5ae752] Nobuyoshi Nakada 2022-05-27 02:27:15 UT…
e-words.jp
yamamotoyama.tumblr.com
glassonion.hatenablog.com
asakichy.hatenablog.com
journal.mycom.co.jp
www.jpcert.or.jp
