SATySFiへの要望まとめ
これは「SATySFi Advent Caleandar 2022」の6日目の記事です。 （5日目は yozu さん、7日目は bd_gfngfnさんです。） Twitter上にはSATySF...
2
1
Comment0
46 search resultsShowing 1~20 results
Stocked
You need to log-in
C言語で16文字でセグフォらせる
↓PythonをSegmentation Faultで落とすのが最近流行っているようなので。 pythonを三行でセグフォらせる pythonを2行でセグフォらせる pythonを1行でセグフォ...
133
64
Comment10
Go言語は沼
Go言語入門者である私が気づいたことを長々と書いています。 既に他の方が言及されていることも多いです。また初心者でよくわかっていないことも多いためお手柔らかにお願いします。 なお、順番は適当です...
39
22
Comment7
Rust大好きな自分が、あえてRustの嫌いな所を挙げてみた
あえて言おう。Rustが大好きであると。 この記事はRust 2 Advent Calendar 2020 の8日目の記事です。 近年、Rustの人気が上がってきているようで、インターネット上で...
34
20
Comment2
シングル Makefile で簡単 SATySFi サンドボックス環境を使おう!
これは「SATySFi Advent Caleandar 2022」の4日目の記事です。 （3日目は zr_tex8r さん、5日目は yozu さんです。） SATySFiの環境を整備するのは...
2
0
Comment0
satyrographos-repo-bin でパッケージをバイナリ配布している話
これは「SATySFi Advent Caleandar 2022」の5日目の記事です。 （4日目は yozu さん、6日目は yozu さんです。） SATySFiパッケージ1のインストールは...
1
0
Comment0
[Rust] Associated Types と Trait Object
以下の駄文は独自研究を多く含んでおり、間違っている可能性は大いにある。 実際の所、後日処理系のコードを読んで確認するつもりである。(そのためのメモという意味合いもある) Associated T...
8
5
Comment0
[Rust] Lifetime of associated types パターンについて
これは何？ Rustを使っていると、参照を取得し参照を返す関数を生やしたくなることは多いです。このような目的で存在するAsRef traitの定義は以下のようになっています。 pub trait...
8
2
Comment0
Overleafを使ってSATySFiファイルを共同編集しましょう！
SATySFi Advent Calendar 2021 2日目の記事です。 まずは、以下のツイートを見てください。 そういえば #Overleaf って #SATySFi に対応しているんです...
5
0
Comment0
SATySFiのプリミティブ向けコード生成のメモ
SATySFi本体では、/tools/gencode/vminst.mlというファイルに全てのプリミティブが定義されており、gencodeというツールを実行することでさまざまなOCamlのソース...
1
0
Comment0
SATySFIで括弧の形状が動的に決まる仕組み
SATySFiでは数式中の括弧の形状が中身によって動的に変化します。この仕組みをメモしておきます。 SATySFiにおける数式中の括弧を表すコマンド\braceは例えば以下のように定義されていま...
2
0
Comment0
Rust言語を使ってアニーリングで制約問題を解く
量子アニーリングとは? 今年の量子コンピューター Advent Calendar 2020には執筆時点でまだアニーリングの平易な解説がのっていないようなので、簡単に説明します。 なお、ここで紹介...
9
3
Comment0
SATySFi入門とリンク集
SATySFi Advent Calendar 2020 12日目の記事です。 11日目の記事は、@na4zagin3さんのSATySFi で「太字」にしたい（satysfi-fss の紹介） ...
15
11
Comment0
Pythonのimport内部実装 〜複雑怪奇なimportlib内部実装へようこそ〜
Pythonその2 Advent Calendar 2020 8日目の記事です。よろしくおねがいします。 記事の趣旨と対象読者 Pythonのプログラムを書くときに必ず登場するのが、以下のような...
29
17
Comment0
暗号化Zipファイルは本当に危険なのか?
最近、PPAPとかZip暗号化とかが色々言われているので書きます。 結論 ZipCryptioと呼ばれる標準の暗号化は脆弱です。7-zipで使えるwzAESを使いましょう。ただしWindowsの...
5
3
Comment0
Rust、こんなときはこう書こう
こんにちは、Rust2 Advent Calendar 2020の1日目を担当させていただくyasuo-ozuです。 今回は特にまとまったネタを思いつかなかったのでtips集としてお送りします。...
139
109
Comment2
Pythonの非同期処理 ~async, awaitを完全に理解する~
Future について Pythonで時間のかかる計算を実行して、その結果を得たいと思った時、通常はその処理を関数にまとめ、その関数を実行た時の返り値として得ることになります。これを同期処理とい...
52
51
Comment0
[Rust] HashMap が `trait Hash` を実装しない理由
たとえば、RustのHashMapを使って、整数の部分集合から整数に対する写像を定義することを考えます。この時、 let mut m: HashMap<HashSet<i32>...
6
1
Comment0
[Rust] 構造体要素を持つenumにはIterator系メソッドを実装すると便利
前置き: 構造体要素を持つenumとは enumはC系の言語でおなじみの列挙型です。Rustの場合は以下のように書きます。 enum MyEnum { ItemA, ItemB, } Rustの...
10
11
Comment0
[Rust] イテレータで直積集合を生成
適当に作ったので間違ってると思います。適宜修正して使ってください。 注意 一番簡単かつ普通なのはこちらの方法です。本文中のコードはかなり変態なので、これを見てRustのことを嫌いにならないでくだ...
5
2
Comment5
46 search resultsShowing 1~20 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles