タグ

2017年11月18日のブックマーク (2件)

  • トレイトの整合性: 孤立規則,特殊化 - Qiita

    あまり実用的な内容ではありませんが、以前からトレイト整合性(trait coherence)周りの話を調べてみようと思いつつ先延ばしにしていたので、これを機に書いてみたいと思います。文中に「実装」という単語が頻繁に出てきて混乱するかもしれませんが、Rustコード中という文脈で出てくる場合はimpl宣言のことです。 トレイト整合性はTRPLや言語リファレンスでは触れられていません。しかし、このトレイト整合性を保つために実装されているE210などに遭遇したことのある方はそれなりに居るのではないでしょうか。また、現在unstableな機能として実装されている特殊化もこのトレイト整合性に関わるものです。 トレイト整合性とは トレイト整合性とは、ある型に対して実装されたあるトレイトは、ただ1つの実装を持つという性質です。例えば、簡単な例だとi32という型はEq,Ord,Add<i32>,Add<&i

    トレイトの整合性: 孤立規則,特殊化 - Qiita
    mizdra
    mizdra 2017/11/18
  • 7世代固定乱数針読みツール - うつくしそうげん

    どうもこんにちは。ここでは拙作の針自動読み取りツールを紹介します。 ダウンロードは以下 ver1.2(フレームレート調整つまみ付けました。QR針取るのが若干遅い対策です。たぶん) https://ux.getuploader.com/tkdpoke11/ こちらのブログで紹介されている固定乱数のやり方について、だいたいわかった人向けのツールです。 サンムーン固定乱数仕組みが解明され、固定シンボル乱数に誰でも挑戦できるようになりました。(もう半年たってますが) これにより、カプ・UBのA0めざ炎個体やID厳選等が各段にやりやすくなりました。 しかしながら、この手法は「針が表示された瞬間の位置」を眼力で読み取り、これを8回連続正解する必要があります。さらに、狙った個体が出なければリセットしてもう一度やり直す必要があります(自分は20回に1回ぐらい成功します)。 動体視力・集中力が必要とされるこ

    7世代固定乱数針読みツール - うつくしそうげん