シスプロのTAがCプログラミングをわかっていない件

赤い狐 いく @ikk775

そういや高専に居たときにもらったTAは時給850円くらいだったような

にゃははー仙人 @Flast_RO

defineで定数定義とか前時代的も甚だしいけど未だにそんなこと言う奴が...

Hideki EIRAKU @hdk_2

TA? ターミナルアダプターがどうかしたって?

⚓ @_k_skgc

なんとしても TA やりたくない感じがするけど実際拒否できるのだろうか。

ゆずはら @yuzuhara

@pi8027_tsukuba その辺は詳しく知らないけど（ライブラリの実装がどうなってるかは僕も知らない），OSの管理単位が4Kだからそうしてる．

ゆずはら @yuzuhara

@pi8027_tsukuba 際限なく伸びていくかもしれない列って？

GP @cifar10

@pi8027_tsukuba 人少ない研究室だと無理だと聞いた

斎藤ただし, Tadashi Saito @_tad_

@pi8027_tsukuba ならばやっぱり#defineすべき。最近ならstatic const size_tとかでもいいかも。ところで、2^nである明確な理由というのは何ですか?

⚓ @_k_skgc

@yuzuhara 例えば、stdin から入力を1行読む必要がある場合、どうしますか。(当然、行末が何バイト目で現れるかは分かりません。私なら https://t.co/1AbGMFzE こう書きます。)

⚓ @_k_skgc

@_tad_ アラインメントです。

⚓ @_k_skgc

問題のプログラムは16ごとだけど、https://t.co/1AbGMFzE こっちだと32なんだな。案外適当な感じである。

斎藤ただし, Tadashi Saito @_tad_

@pi8027_tsukuba ？？ それを意識することによるメリットをｋｗｓｋ。

ゆずはら @yuzuhara

@pi8027_tsukuba ごめん，僕は無精だから固定長のメモリ確保して，確保した分だけコピーするような実装にするわ．

⚓ @_k_skgc

@_tad_ malloc とかで実際に確保される領域もアラインメントされるので、(文字列の場合などはとくに)最初からそれに合わせた方が良いと考えています。

ぴょんの丞 @n_scattering

TA の決め方: 「○○の授業に TA が4人必要なのですが、申し訳ないけど、△△△君、大変だとは思うけど、TA、4人分をひとりでやってくれませんか？」

⚓ @_k_skgc

@yuzuhara なるほど。

⚓ @_k_skgc

ぼくも following の範囲しか見てないので togetter にまとめてもらえると読みやすくて良いですね。

にゃははー仙人 @Flast_RO

やはりTAに何か言われたらだまらせるようなコードを渡すのが面白い

⚓ @_k_skgc

実際ぼくはC言語嫌いで、というのも入力1行読むだけでも realloc とかしないといけないし、型システム終わってるし、どの部分取ってもプログラムの正しさを保証できそうにない。やはり Coq で課題やりたいですね。(シスプロの課題 Coq でやるのはそもそも無理そうだ……)

にゃははー仙人 @Flast_RO

ゴルフして出したら 読みにくいコード書いてると上達しない とか言われて再提出食らったので 10行程度で済む課題にGNU coding std読んで ライセンス表記とusageとhelpともろもろ付けて100行ぐらいで叩きつけたらそれから何も言わなくなったのは記憶に新しい

にゃははー仙人 @Flast_RO

@pi8027_tsukuba えっ...Cって型システムあるんですか...ｼﾗﾅｶｯﾀ-

にゃははー仙人 @Flast_RO

Cの変数宣言の前につける文字列は最適化オプションだとあれほど

⚓ @_k_skgc

まず本質的でない部分でプログラム正しく書くのが困難で、その上アルゴリズムの正しさとかになるともう人の力で正しさを守るしかない。これはもうダメだと思うんだよなぁ……。

⚓ @_k_skgc

@Flast_RO 動的型付けの言語ですら型が1通りだと考えれば何も保証してくれない型システムをそこに見出せるので何かしらあると考えていいのではないでしょうか。

斎藤ただし, Tadashi Saito @_tad_

@pi8027_tsukuba 個々人が考えるのは自由なんだけど、それがどういうメリットにつながるの？たぶん無駄手間じゃないかと。自分だったら、「プログラミング作法」をまねて、足りなくなるたびにn倍にすると思います。