新しいものから表示
blank71

「0は偶数かどうか」 

偶数に1を足した数は奇数。更に1を足したら偶数になる。1は奇数であるから、それから1を引いた数である0は偶数。
----
nを整数として、全ての整数Nは(i)(ii)に分けられる。
(i) N = 2n + 1
(ii) N = 2n
偶数は2で割り切れる整数。奇数は2で割り切れない整数。よって(i)は奇数、(ii)は偶数。
(ii)において、n = 0 であるとき
N = 0
よって、0は偶数。
----
証明として正しい…？不足？

1
blank71

数学ガールのベクトルの本文部分はサラッと一周したけど、もう一周すべきかな。

0
blank71

Mastodonの「ディレクトリ」についての翻訳。「プロフィールディレクトリ」が正しいが、これでは長くてUIからはみ出て、「…」で省略されてしまう場合があるという。
そういえば、iPod Touch6を使っていたとき、iOSのアプリはそれよりも大きい画面を基準としているために、長い説明文がある場合に省略されてしまうことが多かった。これはクソOSだと思った。

0
blank71 さんがブースト
あっきぃ/C107(2日目/水)南2-j11b

たまに先祖返りして技適マークないやつが本国から来たりするので油断ならない

0
blank71 さんがブースト
rinsuki

ちゃんと技適ついてる

0
blank71 さんがブースト
Keᷟiͣzᷤoͭuͦ@6ͩ4ͦ0ᷠ0

Cはその情報量の多さから初学に関して様々な検討と試みがなされたから初学に向いているし、中上級者でも歴史を振り返ることによって非常に学ぶことの多い言語だから、プログラミング言語として高い評価は依然として変わらないと思う

ただ、現在の環境においてCは実用するべきプログラミング言語なのか？と言えばそうでなく、Cでの実装は可能な限り避けることが奨励される

不当にCを蔑む必要はないが、Cは既にレガシーであることはIT業界全体で共通認識を持つべきである

0
blank71 さんがブースト
Keᷟiͣzᷤoͭuͦ@6ͩ4ͦ0ᷠ0

現在、分散SNSの統合的コミュニティ「Fedeloper Forum」では『Mastodonの日本語翻訳において"Profile Directory"をどのように翻訳すべきか？』という議題が持ち上がっています。

日本IT業界の一般的な訳語は"階層"を意味しますが「MastodonのProfile Directoryの機能的意味は一定以上のフォロワーを持つユーザーが任意にProfile Directoryへ掲載を許可することにより第三者がユーザーの探索を容易にする」というもので「近似する日本語訳としては"電話帳"や"名鑑"に近いものであるが、それは真を意味しない」という状況下にあります。

そこでFedeloper Forumはより広くMastodonユーザーおよび、他の分散SNSユーザーへ広く知見と意見を募集していますので、ご協力をよろしくお願いいたします。

forum.fedeloper.jp/t/topic/131

0
blank71 さんがブースト
Maya Minatsuki :neko_smiley:

「ディレクトリ」を原文同様省略されていない箇所は省略しないで「プロフィールディレクトリ」とした場合の見た目（ユーザーから見える範囲）

1+
blank71

自分の頭がおかしくなって揺れていると思ったら、地面が揺れていたでござる。

0
blank71 さんがブースト
特務機関NERV

【緊急地震速報 第6報 2019年5月25日】
15時20分頃、千葉県南部を震源とする地震がありました。地震の規模はM4.6程度、最大震度4程度と推定されています。この情報は気象庁の予報に基づく推定です。情報は誤差を含む場合があります。
#千葉県 #緊急地震速報

0
blank71 さんがブースト
のえる :cava_red: DTP鯖管

@sublimer ということで、新鯖、おめでとうございます〜🎉

1
blank71 さんがブースト
sublimer@あすてろいどん鯖管

電算丼 (mstdn.inct-densan.club/@sublim) からお引越ししてきました!!

0
blank71

電車降りた瞬間、息苦しい暑さ。

0
blank71

そぎぎ 

タイトル見て、考えてみて、「奇数と偶数の場合分けか。指した順も記録されるな。」と思ったら、そんな感じだった。

スレッドを表示
0
blank71

紙とペンだけで「オセロ」をやるにはどうしたらいいか考えてたら思いがけず神ゲーができた「発想すごい」 - Togetter togetter.com/li/1359065

1
blank71 さんがブースト
デイブ

デカすぎて混雑しててうまく撮影できない…けどこれから「プロメア」観ます

0
blank71 さんがブースト
はやつ〜

【PR】 #さくらインターネット 

本日午後、13時30分から、多分10分ぐらい？さくらインターネットのエバンジェリストチームがお届けする、雑談系ライブ配信番組「オンライン版 さくらのエバンジェリストナイト（ ）」ライブ配信予定です。まだまだβテストという感じですが、よろしければぜひご視聴下さい！
youtu.be/auYcDRZ9QWk

0
blank71 さんがブースト
ライクロフト＠自鯖

やむを得ないとは言え、表紙隠れちゃうのは残念。私は訓練されているので、数学ガールの秘密ノートであることは判別できる。

0
blank71 さんがブースト
UBW@VR 30th Anniversary

Playdate特集のEdge最新号、iOSアプリで購入しました。600円です〜

0
blank71 さんがブースト
Gomasy

:top_left_sushi:​:top_center_sushi:​:top_right_sushi:
:middle_left_sushi:​😇​:middle_right_sushi:
:bottom_left_sushi:​:bottom_center_sushi:​:bottom_right_sushi:

0
古いものから表示
グルドン

Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。

リソース

開発者向け

Mastodon とは？

mstdn.guru

さらに…