Rustでsafeな連結リストをつくる試み
前回の記事を書いてから、考えてるだけじゃだめだなとすこし書いてみたところいろいろわかった。 Rcによるリスト Rcはリファレンスカウントで管理できる。RcはWeakをつくれるので、たとえばnext方向にRcをつなげておき(先頭ノードはリスト本体が保持)、prev方向へはWeakを持たせればいいのではないか？ と考えてみたのだった。 やってみたところこの方針では書けないということがわかった。Rcの参照先は基本的には更新ができない。ノードを追加したらprevやnextを書き換えないといけないけど、書き換えができない。書き換えをするには mutable なリファレンスを一時的に獲得する必要があるが、weakも含めたリファレンスカウンタが1でないといけない(これは安全性のためだろう)。prevとnextで基本的にノードにはstrongが1つとweakが1つ常にあるので、mutableなリファレンス
List of model checking tools - Wikipedia
This article lists model checking tools and gives an overview of the functionality of each. Overview of some model checking tools[edit] The following table includes model checkers that have a web site from which it can be downloaded, a declared license, a description published in archived literature, and a Wikipedia article describing it. In the below table, the following abbreviations are used: E
日本のマストドンインスタンスの一覧
3. mastodon.cloud - 59,871 人登録中 (累計 3,434,806トゥート) タイムラインをちら見 Generalistic and moderated instance. Everyone is welcome as long as you follow our code of conduct! Read the Code of Conduct before signing up please! Feel free to join us in this adventure! Up since 04/04/2017. ✅ 利用規約・プライバシーポリシーは以下をご覧ください。 https://legal.bunsan.social Legal and privacy policy is below: https://translate.google.co.jp/tra
覚えるだけでPythonのコードが少し綺麗になる頻出イディオム - タオルケット体操
まえがき 今年の春から今まで、2年ぶりにPythonを沢山書いているわけなんですが、JavaScriptのクソに頭をやられて久しぶり書くだけあって基本的なところから色々と頭から抜け落ちていたわけです。 そんで何か思い出すたびに会社のwikiを使ってメモっていたのですが、せっかくなので少々訂正をしてブログにも書きます。 また、弊社はPython2を使っているので、2が前提の記述になっているところがいくつかあります。なるべくフォローしていますが、参考にする場合は自分が使っているバージョンを確認することをおすすめします。 また、今から新しくPythonでプロジェクトを始めようと思っている人は3系を使いましょう。 知ってる人は当然知ってる、でも結構長いことPythonを書いてても知らなかったりするような小技を載っけました。 なお、メタプログラミングとかの黒魔術っぽい記事のまとめはこちら: hach
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
List / folder of all GTK icons and their names
FreeRTOS/FreeRTOS/Test/VeriFast at main · FreeRTOS/FreeRTOS
【Android】インストールされているパッケージの一覧を表示する【adb】 : かんうん やかく
Tutorial Understanding ProB's Constraint Solver - ProB Documentation
