日記
spire に EuclideanRing という型があるのだけど、これの除算による余りって0以上割る数未満になってたほうがよいのでは？ 負の整数に関してそうはなっていない。 とは言っても、% 演算子の挙動を変えると EuclideanRing としての Int や Long がバグ誘発的になるだろうから、新しく |%| みたいな演算子を定義してはどうだろう。 というか、暗黙の型変換でやってみた。 まぁ、あってもいい演算子じゃないかなぁ。
- 作者: Martin Odersky,Lex Spoon,Bill Venners,羽生田栄一,水島宏太,長尾高弘
- 出版社/メーカー:インプレス
- 発売日: 2016/09/20
- メディア:単行本（ソフトカバー）
- この商品を含むブログを見る
ツイート （ツイート数 20）
@waman10da: RT @tmato30kcal: 閉会式で何がなんだか分からない観客に向けて念の為に動画のキャラクターをこんな風に説明した資料を配ってたみたいだ。日本の気配り半端ないな URL
@waman10da: RT @yoshioterada: これによると、Java EE 8 のサーベイを数週間以内に実施し、その結果を検討後 JavaOne で参加者に発表。その１年以内には EE 8 をリリースしたいと考えている、次の Java EE 9（Java SE 9 の Jigsaw に対…
@waman10da: RT @sun_koubun: 日本の調査捕鯨への妨害行為「永久に行わない」 シー・シェパードと創始者のポール・ワトソン容疑者が合意 日本鯨類研究所URL @Sankei_newsよりSEALDsの次はシーシェパードが終了
@waman10da: RT @kazuo_ishikawa: 「識者」って、いったい誰だ？こういうことを書くから脱原発運動は嫌悪されるのではないか…真っ当な脱原発理論による主張をする人にも甚だ迷惑な話。 URL
@waman10da: RT @livedoornews: 【データセーバーも】「Android 7.0 Nougat」正式版をリリース！URLNexusデバイスへの提供がスタートした。マルチウィンドウなど、250以上の新機能が含まれる。 https://…
@waman10da: RT @satetu4401: 糞面倒くせえんだよ…「残業しないで帰れ」つったら帰れば良いし「仕事ない」つったら本当に仕事ないから他人の分までやらなくて良いんだよ。お前に振ってないのはお前じゃクオリティ不足だからだよ。帰ってゲームでもやってろ。言葉通じねえ部下って本当にクソだし…
@waman10da: RT @tubuann_only: @tubuann_only正しくは美智子様でした。
@waman10da: RT @tubuann_only: 陛下がくまもんに「お一人でやられてるんですか？」ってお尋ねになられてたの、今考えてみれば心の叫びだったのかもしれない。
@waman10da: 安倍首相がマリオで登場、世界を魅了した日本の演出が凄い！ 海外の反応。 : 海外反応！ I LOVE JAPAN URL
@waman10da: RT @yui_okasi: 私、ほんとにウイッチのメンバーが大好きだなぁと実感いたしました(*´∇｀*)一緒に練習したり、本番前での和気あいあいとした楽しさ、本番での心強さとかをますます実感した2ndLIVEでのウイッチでした！＃ナナシスURL…
@waman10da: RT @succhi0024: 改めまして、先日盗難被害に遭ったVFR800Fが見つかりました。皆さん、ご心配・ご協力ありがとうございました。
@waman10da: RT @succhi0024: 再会できた。無理だと思ってた URL