GitHub - thoni56/c-xrefactory: A refactoring tool for C/Java and Emacs. The first tool to cross Refactory Rubicon. Developed by, and released with GPL in 2009, by Marián Vittek      2017-11-22 04:20:27  詳細
README.md C-xrefactory - A refactoring tool for C/Java and Emacs TL;DR c-xrefactory is a free emacs refactoring tool and code browser for C (and Java). Easiest way to install is using M-x el-get-insta...
https://github.com/thoni56/c-xrefactory
Spring Bootの本当の理解ポイント #jjug      2017-11-20 21:20:07  詳細
Spring Bootの本当の理解ポイント #jjug 1. (C) CASAREAL, Inc. All rights reserved. #jjug #ccc_ef3 1 2. (C) CASAREAL, Inc. All rights reserved. #jjug #ccc_ef3 ▸ ▸ 2 3. (C) CASAREAL, Inc. All rights reserved. #jju...
https://www.slideshare.net/masatoshitada7/spring-boot-jjug
GitHub - okbob/pspg: Postgres Pager      2017-11-18 01:20:20  詳細
README.md pspg - Postgres Pager Everybody who uses psql uses less pager. It is working well, but there is not any special support for tabular data. I found few projects, but no one was completed for t...
https://github.com/okbob/pspg
include-what-you-useとjenkinsでC/C++プロジェクトから不要な#includeを洗い出す - Qiita      2017-10-12 18:40:02  詳細
はじめに include-what-you-useはC/C++のコードから不要な#includeを洗い出し、前方宣言への置き換えや削除を提案してくれるツールです。コードから不要な#includeが減るとコンパイル時間が短くなり、コードが読みやすくリファクタリングしやすくなります 1 。不要な#includeを減らすにはまず洗い出しが必要です。この作業はinclude-what-you-useを使う...
https://qiita.com/tomota-tar-gz/items/985b660e8f3052a387ef
C言語でインクルードするだけで使えるNon-movingで正確なGCを作った - Qiita      2017-10-09 22:20:04  詳細
インクルードするだけで使えるNon-movingで正確なGCをC言語用に作りました。 行数がコメントを除いて100行に満たない非常に小さなライブラリです。 GCのアルゴリズムとしてはCheneyのコピーGCを採用しています。 通常のCheneyのコピーGCではメモリ空間のうち半分が無駄になってしまいメモリ効率が悪かったり、 GC発生時にオブジェクトが移動してしまいC言語のようなポインタを直接触れる...
https://qiita.com/wasabiz/items/bc80581ba24eaaf0ece1
Pthread Model Checker - PRINCIPIA Limited      2017-10-09 09:20:11  詳細
概要 Pthread Model Checker は POSIX スレッド (pthread) を使用したマルチスレッドプログラムのための並列モデル検査ツールです.Pthread Model Checker を使うとテストでは発見することが難しい再現性の低い問題やデッドロックなどを確実に発見することができます. Pthread Model Checker ではC言語 *1 でモデル *2 を記述す...
http://www.principia-m.com/jp/pmc/
Pythonの長所と短所についての考察 - Qiita      2017-09-28 15:20:06  詳細
Pythonは大変に良い言語です. 多くの高機能,高性能なパッケージ(モジュール)が提供されており,情報工学の知識に疎遠な人にも高度な情報処理が実現できる,とてもありがたいプログラミングプラットフォームであることは疑う余地がないと思います. ただしPythonを盲信,過信するのはよくありません. それで,Pythonの長所と短所を良く理解して,有効に活用するための参考となればと思い,この記事を書い...
https://qiita.com/KatsunoriNakamura/items/dd567ea7cfaa99685453
がたろう 標準ロジックでCPUを作る爺さんのツイート: "【意外と知らないC言語(2)】   文をコメント化する方法は3通りあります。 (1)// foge (2)/* foge */ (3)/* foge //*/ 3番目は始点を示      2017-09-05 08:20:06  詳細
がたろう 標準ロジックでCPUを作る爺 @ duo6750 RETROF-16(HP参照)の作者。ソフトとハードの境界を徘徊する物作りヂヂィ。得意ワザはCPU作りとコンパイラ作り。自称半田付十段。旧特種情報処理や旧上級アマ等の昭和の資格多数。言語はC++/CLIとVerilogとHTMLが好き。ヤマトとスタトレも大好き。活動燃料は缶びいる。日曜朝はガキンチョ共とプリキュア鑑賞。
http://twitter.com/duo6750/status/904116560759062528
include-what-you-useとjenkinsでC/C++プロジェクトから不要な#includeを洗い出す - Qiita      2017-08-30 06:40:02  詳細
はじめに include-what-you-useはC/C++のコードから不要な#includeを洗い出し、前方宣言への置き換えや削除を提案してくれるツールです。コードから不要な#includeが減るとコンパイル時間が短くなり、コードが読みやすくリファクタリングしやすくなります 1 。不要な#includeを減らすにはまず洗い出しが必要です。この作業はinclude-what-you-useを使う...
http://qiita.com/tomota-tar-gz/items/985b660e8f3052a387ef
TIOBE Index | TIOBE - The Software Quality Company      2017-08-16 16:20:14  詳細
The TIOBE Programming Community index is an indicator of the popularity of programming languages.July 2017 Philips wins TIOBE QA Award The Eleva System Control project appears to be the best of more t...
https://www.tiobe.com/tiobe-index//
5 ways to manage allocated memory in Haskell      2017-08-11 09:20:07  詳細
In this article, I will explore different ways to track all the allocated pointers and free them reliably. The complete code can be downloaded as a git repo: git clone https://ro-che.info/files/2017-0...
https://ro-che.info/articles/2017-08-06-manage-allocated-memory-haskell
implemented-my-own-crypto      2017-08-03 22:20:05  詳細
{ title : How I implemented my own crypto description : Despite advice to the contrary, I have implemented my own crypto for serious use. Here's how. } August 2017 How I implemented my own crypto ====...
http://loup-vaillant.fr/articles/implemented-my-own-crypto
それなりの規模のソフト開発における静的コード解析活用プラクティス // Speaker Deck      2017-07-25 02:40:02  詳細
静的コード解析(スタイルチェック…特にバグの警告)について有効に使うためのプラクティスであまり語られていないところをまとめました。 #Static Code Analysis, Style Checker, 静的解析
https://speakerdeck.com/masskaneko/sorenarifalsegui-mo-falsesohutokai-fa-niokerujing-de-kodojie-xi-huo-yong-purakuteisu
CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017      2017-07-23 18:20:07  詳細
CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017 2/48 元ネタ ● 既発表の話です ● そのうち論文が出ます ● Safe Low-level Code Generation in Coq using Monomorphization and Monadification Akira Tanaka, Rey...
http://www.a-k-r.org/pub/2017-07-23-proofsummit-akr.pdf
main()関数の前には何があるのか(9):エンジニアならC言語プログラムの終わりに呼び出されるexit()の中身分かってますよね? (1/3) - @IT      2017-07-15 13:20:06  詳細
書籍の中から有用な技術情報をピックアップして紹介する本シリーズ。今回は、秀和システム発行の書籍『 ハロー“Hello, World” OSと標準ライブラリのシゴトとしくみ(2015年9月11日発行)』 からの抜粋です。 ご注意:本稿は、著者及び出版社の許可を得て、そのまま転載したものです。このため用字用語の統一ルールなどは@ITのそれとは一致しません。あらかじめご了承ください。 ※編集部注:前回記...
http://www.atmarkit.co.jp/ait/articles/1703/01/news174.html
main()関数の前には何があるのか(7):Linuxカーネルに見る、システムコール番号と引数、システムコール・ラッパーとは (1/2) - @IT      2017-06-30 00:20:13  詳細
main()関数の前には何があるのか(7): Linuxカーネルに見る、システムコール番号と引数、システムコール・ラッパーとは (1/2) C言語の「Hello World!」プログラムで使われる、「printf()」「main()」関数の中身を、デバッガによる解析と逆アセンブル、ソースコード読解などのさまざまな側面から探る連載。前回から、printf()内のwrite()やint $0x80の呼...
http://www.atmarkit.co.jp/ait/articles/1703/01/news172.html
go-mp3: Pure Go な MP3 デコーダー - Qiita      2017-06-21 02:20:12  詳細
tl;dr (要約) Go の MP3 デコーダー実装がなかったので、既存の C のものを移植し、 go-mp3 というライブラリを作りました。 背景 Pure Go な実装の MP3 デコーダを探したのですが、自分の探す限りでは見つかりませんでした。 tcolgate/mp3 が最も近かろうと思われましたが、これはどうやらコンテナをデコードするのみのようです。 ないものはしょうがないので、自分で...
http://qiita.com/hajimehoshi/items/9f3b7186ec0b8e2850a4
How is GNU `yes` so fast? : unix      2017-06-13 17:20:11  詳細
popular - all - random  |  AskReddit - gaming - funny - worldnews - pics - todayilearned - videos - aww - news - gifs - movies - Showerthoughts - mildlyinteresting - IAmA - Jokes - OldSchoolCool - eur...
https://www.reddit.com/r/unix/comments/6gxduc/how_is_gnu_yes_so_fast/?st=j3v3iw3c&sh=5651ea3c
main()関数の前には何があるのか - @IT      2017-06-11 00:20:10  詳細
C言語の「Hello World!」プログラムで使われる、「printf()」「main()」関数の中身を、デバッガによる解析と逆アセンブル、ソースコード読解などのさまざまな側面から探る連載。今回は、printf()内のポインタ経由での関数呼び出しが行き着く先にあるシステムコールの呼び出しとバイナリエディタの使い方について。
http://www.atmarkit.co.jp/ait/series/5503/
人工知能の現状と競争政策 - 東京大学 松尾 豊      2017-06-06 00:20:10  詳細
人工知能の現状と競争政策 東京大学 松尾 豊 1 資料2 東京大学 松尾研究室について 松尾 豊 1997年 東京大学工学部電子情報工学科卒業 2002年 同大学院博士課程修了.博士(工学)。産業技術総合研究所 研究員 2005年 スタンフォード大学客員研究員 2007年~ 東京大学大学院工学系研究科 技術経営戦略学専攻 准教授 2014年〜 東京大学 グローバル消費インテリジェンス寄付講座 共...
http://www.jftc.go.jp/cprc/conference/index.files/170331data02.pdf