トップページ > プログラム > 2015年04月24日 > belF3Fjq

書き込み順位＆時間帯一覧

18 位/147 ID中時間01234567891011121314151617181920212223Total
書き込み数1000000000000000000000012



使用した名前一覧書き込んだスレッド一覧
デフォルトの名無しさん
Win32API質問箱 Build120©2ch.net
【Alloy】形式言語による仕様記述【VDM】

書き込みレス一覧

Win32API質問箱 Build120©2ch.net
169 ：デフォルトの名無しさん[sage]：2015/04/24(金) 00:24:45.89 ID:belF3Fjq
>>156
そういう意味ではC/C++って両極端すぎ。
C++は覚えることが多すぎてキツくて面白いわ。
【Alloy】形式言語による仕様記述【VDM】
271 ：デフォルトの名無しさん[]：2015/04/24(金) 23:38:42.03 ID:belF3Fjq
SPINを勉強し始めたところなんだけど、ミューテックス/セマフォ/モニタって
promelaでどう記述するのが一般的なんだろう？
セマフォはBasic Spin Manualにあったけど、どこかにまとまった情報がないかな。


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。