Qiita Teams that are logged in
You are not logged in to any team

Log in to Qiita Team
Community
OrganizationAdvent CalendarQiitadon (β)
Service
Qiita JobsQiita ZineQiita Blog
Issue report
Help us understand the problem. What is going on with this user?
Takashi Nomura
@jpwgad
$ analyze @jpwgad
posted articles
  • AlloyAnalyzer:75%
  • 形式手法:39%
  • どう書く:29%
  • TLA+:21%
  • PlusCal:21%
LGTMed articles
  • Git:10%
  • Linux:9%
  • Qt:9%
  • VSCode:9%
  • Java:6%
answered questions
    No data
Edit Pickup Articles (Up to 3)

    Pickup Articles

    @jpwgad

    Alloyでパズル (1) ウソつき問題

    導入: 考えない名探偵 我々には、問題をみると「どうやったら解決できるか」と考える癖がついている。 数独のようなパズルを見ても、どう考えたら解にたどり着けるか自分なりのアルゴリズムを探っている。 しかしここにコンピュータがある。 コンピュータが人間に勝る大きな点は圧...

    @jpwgad

    Alloyでパズル (15) 数独 ふたたび

    Alloyでパズル (2) 数独 でテーブルビューで結果が見やすく表示できるようになったのはよかった。 が、やはり結果だけでなく問題も見たい! 問題表示の方が難しい 「明示されていない値は不定」な Alloy で、ヒントとして与えられていないセルを空にして見せる方法が...

    @jpwgad

    Alloyで考えよう : テストするために仕様を理解したい

    テスト要件を抽出するために、Alloy が役立たないだろうか? 要件の自動抽出やテスト仕様書の生成、さらには自動テストといった高望みをすると大変になるので、さほど手間をかけずにひとりでもできる範囲で考えよう。 その範囲でツールを使うだけなら、チームに断る必要も広める必要もな...