AtCoder Beginner Contest 179
これを使っています。 https://github.com/tanakh/competitive-rs A - Plural Form 与えられた文字列の末尾が "s" なら "es" を、それ...
2
0
Comment0
43 search resultsShowing 1~20 results
Stocked
You need to log-in
AtCoder Beginner Contest 177 参加記
問題文は https://atcoder.jp/contests/abc177 こちら。 Rustで解いています。https://github.com/tanakh/competitive-rs...
5
3
Comment0
AtCoder Beginner Contest 175 参加記
問題はこちら https://atcoder.jp/contests/abc175 https://github.com/tanakh/competitive-rs これを使っています。 A -...
2
1
Comment0
Rustで競技プログラミングの入出力を自動的にやるマクロ
Rustで競技プログラミングの入力をスッキリ記述するマクロ の続編的なやつです。 モチベーション AtCoderのRust環境も新しくなって、バージョンが新しくなったり一部の外部のcrateが使...
108
76
Comment0
cargo publish する前に埋めておきたい Cargo.toml の項目に関するメモ
正直試行錯誤しないと https://crates.io 挙動が良くわからんかったのでメモを書いておく。 name, version, authors, edition の4つは cargo n...
59
26
Comment0
AtCoder Beginner Contest 174 参加記
問題はこちら https://atcoder.jp/contests/abc174 A - Air Conditioner x >= 30 かどうかを調べるだけなんだけど、いくら何でも簡単...
17
10
Comment0
AtCoder Beginner Contest 172 参加記
誰かの役に立つこともあるかもしれないので、参加記を書いておくことにする。 https://github.com/tanakh/competitive-rs をライブラリとして使っているので、突然...
10
5
Comment0
「サイゼリヤで1000円あれば最大何kcal摂れるのか」をSMTソルバー(Z3)で解いてみた。
前書き サイゼリヤ1000円ガチャをつくってみた(Heroku + Flask + LINEbot) 「サイゼリヤで1000円あれば最大何kcal摂れるのか」を量子アニーリング計算(Wildqa...
310
164
Comment6
Rustで競技プログラミングの入力をスッキリ記述するマクロ
モチベーション Rustで標準入力から望みのデータを入力するのは意外と面倒で、標準ライブラリにあるものを使って素直に書こうとすると、結構コード量がかさみます。例えば、文字列を一行読み込むのに、 ...
555
337
Comment6
Microsoft Q# Coding Contest 参加記 (前編)
$$ \def\bra#1{\mathinner{\left\langle{#1}\right|}} \def\ket#1{\mathinner{\left|{#1}\right\rangle}...
57
42
Comment0
Rustの二次元配列の要素のswap
ボローチェッカーは、GCに頼ることなくメモリ安全性を保障してくれたりデータレースの不在を保障してくれたりするRustのユニークで有用な機能ですが、現在のボローチェッカーはずいぶん保守的な型検査を...
165
70
Comment0
Haskellのビルドツール"stack"の紹介
Stackとは？ つい先日のことですが、Stackage界隈からstackというツールがリリースされました。リリースされたとはいえ、開発され始めたのがちょっと前のことですし、現在も盛んに機能が追...
409
365
Comment2
Stackを使って楽しくHaskellスクリプティング
今までいまいちモチベが上がらなかったHaskellでスクリプトを書くというのが、急に現実的になってしまったので、紹介します。 Haskellでスクリプティングする上での問題点 Haskellはも...
157
152
Comment0
optparse-declarative: 宣言的な型レベルコマンドラインパーザー
使いやすさを目指したコマンドラインパーザー、optparse-declarativeというのを作りました。 これは何ですか？ コマンドラインオプションを解析して、しかるべき処理を呼び出すためのラ...
62
57
Comment0
継続モナドによるリソース管理
継続モナドって何に使うんだ問題に対する一つの例。 リソース管理の問題 プログラミングをやっていると必ずまとわり付いてくるのがリソース管理の問題です。ここで指すリソースというのは、ファイルのハンド...
220
188
Comment2
Haskellにインラインアセンブリを書く
Haskellにインラインアセンブリ 先日 inline-c という、Haskellのソースの中にインラインでCのコードを書けるようにするパッケージがリリースされました。これまでの類似のパッケー...
33
23
Comment0
「ソフトウェアエンジニアならば1時間以内に解けなければいけない5つの問題」をHaskellでやってみた
Haskellだと問題1が一番難しいともっぱらの噂の問題をやってみました。 問題1 forループ、whileループ、および再帰を使用して、リスト内の数字の合計を計算する3つの関数を記述せよ。 再...
75
65
Comment0
main = putStrLn "Hello, Qiita World!"
main = putStrLn "Hello, Qiita World!"
1
1
Comment0
C++でstaticなメンバ変数を持つクラスをヘッダファイルに定義したいのですがどうすればいいでしょう？
C++でstaticなメンバ変数を持つクラスをヘッダファイルに定義したいのですがどうすればいいでしょう？
1
0
Comment3
Programing in C++ is premature optimization.
Programing in C++ is premature optimization.
1
1
Comment1
43 search resultsShowing 1~20 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles