kurainの壺
3行で tex で書いた文書の差分を可視化したいなら、overleaf でも使える latexdiff が便利 latexdiff の出力がコンパイルできないときは option オプションを調整するとよい 差分をハイライトする方法を作ったので紹介する 論文の再提出で差分をハイライトしたPDFを提出せよ。と言われて色々工夫が必要だったのでメモを残す。同じように困る人もいそうなので。 latexdiff と overleaf latex で書いた文章の差分を可視化するツールとして latexdiff というコマンドがある。削除した部分を赤字かつ取り消し線で表示し、追加した部分を青字して表示するというような事ができる。出力は tex ファイルとして出てくるので、latex でコンパイルして表示する。 overleaf はオンラインで共著者と共同編集しながら tex を書いてコンパイルまでできる
ネイティブ並みの表現も？ウェブを使って生きた英文を作成する方法 - はてなニュース
普段英文を書く機会はほとんどないのに、ある日突然英文メールで文章を書くことに。冷や汗をかきながら何とか書きあげたものの、意図した内容になっているかかなり不安…。こんな経験がある方も少なくないのではないでしょうか。今回は急に英文を書くことになった時に知っておくと便利なサービスや、英文作成テクニックを紹介していきたいと思います。 自動翻訳のサービスもよくなってきたとはいえ、英文を読む時には許容できても、誰かに宛てて文章を書く時には訳文をそのまま使うわけにはいきません。誰かに直してもらいたいけれど「助けてくれる人がまわりにいない」「翻訳会社に頼むほどフォーマルなものではないし、料金も心配」そんな悩みも少なくないと思います。 でも、ウェブの力を借りれば大丈夫。かなりよい英文が書けてしまうのです。今回は、「ネイティブの手を借りて英文を作成できるサービス」「ウェブ上の文章を使って英文を作成するテクニッ
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
WEBプログラマー必見！WEB脆弱性基礎知識最速マスター - 燈明日記
以下は、WEBプログラマー用のWEB脆弱性の基礎知識の一覧です。 WEBプログラマーの人はこれを読めばWEB脆弱性の基礎をマスターしてWEBプログラムを書くことができるようになっているかもです。 また、WEB脆弱性の簡易リファレンスとしても少し利用できるかもしれません。 WEBアプリケーションを開発するには、開発要件書やプログラム仕様書通りに開発すれば良いというわけにはいきません。 そう、WEB脆弱性を狙う悪意のユーザにも対処しないといけないのです。 今回、WEBアプリケーションを開発にあたってのWEB脆弱性を、以下の一覧にまとめてみました。 このまとめがWEBアプリケーション開発の参考になれば幸いです。 インジェクション クロスサイト・スクリプティング セッション・ハイジャック アクセス制御や認可制御の欠落 ディレクトリ・トラバーサル(Directory Traversal) CSRF（
TABLOG:TED.comは、最高レベルの英語学習コンテンツでは？ - livedoor Blog（ブログ）
2009年05月21日 TED.comは、最高レベルの英語学習コンテンツでは？ すでに、いろんなところで紹介されているのですが、TED.comというサイトがあります。Technology,Entertainment,Designの頭文字をとって、TEDだそうです。 TEDは、世界の超一流の人物が、年に1回集まり、開かれるカンファレンスです。 その講演ビデオが、ネット上に無料で公開されているのですが、この動画が、「英語学習の教材としての要件を確保」しながら、「2009年の今、話を聞くべき人物の、話を聞くべきアイデア」を紹介しているという二つの要素を高い次元で両立させています。 これが、いろんな意味で「最高」レベルの英語学習コンテンツのように思えてきました。「話す人物」も最高レベル。「話される内容」も最高レベル。講演後のスピーチに対する「取り扱い」も・・・。 これまでもMITのオープンコースウ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
語学の学習をしながら、実はネットを翻訳「Duolingo」
IDEA*IDEA 〜 とあるサービス運営者が学んだことをまとめるブログ
https://jp.techcrunch.com/2011/06/09/20110608openstudy-wants-to-turn-the-world-into-one-big-study-group/
世界史講義録
IDEA*IDEA 〜 とあるサービス運営者が学んだことをまとめるブログ
脚本（スクリーンプレイ）サイトの紹介