エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Mizar/他言語との比較 - Wikibooks
definition let y be XFinSequence of INT,n be Integer; assume A1: 0< n & n< len a; switch(x) { cas... definition let y be XFinSequence of INT,n be Integer; assume A1: 0< n & n< len a; switch(x) { case 1: break; case 2: break; default: } L:(x=1 or x=2 or not(x=1 & x=2)) now per cases by L; case LA:x=1; case LB:x=2; case LC:not (x=1 & x=2); end; C言語で処理 int sumarray_prg(int a[MAX_N],int n) { int s[MAX_N],i; if (!(0< n && n< MAX_N))return -1; s[0]=0; for (i=0;i< n;i++) { s[i+1]= s [i] + a[i+1]; } retu
2017/04/06 リンク