情報更新

last update 10/19 07:06

ツイート検索

 

@zr_tex8r
サイトメニュー
Twilogユーザー検索

Twilog

このユーザーはTwilogに登録されていません

最新100件のツイートのみを表示しています。
自動的にツイートを記録するには、こちらから新規登録してください。
現在表示されているツイートは、取得してから1時間だけTwilogのサーバに保持されます。最新のツイートを取得したいときは、右上の「最新の情報に更新する」ボタンを押してください。

 

@zr_tex8r

もしかして:某ZR@zr_tex8r

  • 69フォロー
  • 738フォロワー
  • 47リスト
Stats Twitter歴
2,848日(2012/01/02より)
ツイート数
20,848(7.3件/日)

ツイートの並び順 :

表示するツイート :

2019年10月19日(土)2 tweetssource

2時間前

@blackenedgold

κeen@blackenedgold

発表は一発芸なんですが、やってることはSATySFiに多段階計算が導入されたモチベーションそのもの(DSLの正当性を静的に(stage 0で)保証したい)なので曲芸ではないです。むしろ非自明で最も簡単なmotivatingなexampleって言っていいんじゃないかくらいの勢い。

Retweeted by もしかして:某ZR

retweeted at 04:43:39 削除

2019年10月18日(金)18 tweetssource

8時間前

@zr_tex8r

もしかして:某ZR@zr_tex8r

SATySFiのライブラリの作製について
「foo、foo-a、foo-bの3つのパッケージ(.satyhファイル)で*一つ*のライブラリを成す」
という構成になっている場合、foo.satyhの中でfoo-a.satyhを読み込む際には、@​require でなくて @​import を使うべきなのだろうか。
#satysfi

posted at 22:23:35 削除

9時間前

@zr_tex8r

もしかして:某ZR@zr_tex8r

例えば「空白文字1つの後にABC」はフツーに
\sABC
なんだけど、TeX(expl3だけど※)のコードの中にコレを書くのはかなり気持ち悪い。

※expl3でも“制御綴”の開始文字はバックスラッシュ。
#TeX

posted at 21:49:46 削除

22時間前

@linglanglong

LingLang@言語学好き@linglanglong

日本語のハ行は奈良時代かそれ以前にパ行音だったというのを知ると、普通の語でも面白く思えてきますよね。

母<パパ
灰<パピ
蝿<パペ
笛<プイェ
頬<ポポ
川<カパ
花<パナ
肌<パンダ
箒<パパキ
炎<ポネゥポ
恋<コピ
前<マペ
今日<ケプ
這う<パプ
匂う<ニポプ
葵<アプピ

Retweeted by もしかして:某ZR

retweeted at 09:01:15 削除

2019年10月17日(木)3 tweetssource

2019年10月16日(水)4 tweetssource

10月16日

@bd_gfngfn

画力・博士号・油田@bd_gfngfn

SATySFiの多段階計算に想定した操作的意味論がMetaMLのそれと食い違っていたことがわかってしまった,推論規則には明示されていないrenamingをする必要があるところをしていなかったために変数の束縛関係が狂ってしまいうる操作的意味論になっていた

Retweeted by もしかして:某ZR

retweeted at 18:38:53 削除

2019年10月15日(火)4 tweetssource

10月15日

@a2see

a2see@VNOSバーチャルCEO@a2see

C++エンジニア「C++は(速くて)いいぞ」
Rustエンジニア「Rustは(安全で)いいぞ」
Goエンジニア「Goは(なんか)いいぞ」
Javaエンジニア「Javaは(仕事に困らなくて)いいぞ」
COBOLエンジニア「COBOLは(一周回って)いいぞ」

知り合いみんなこんな感じなのだ。もうなんなのだエンジニア。

Retweeted by もしかして:某ZR

retweeted at 23:10:28 削除

2019年10月14日(月)15 tweetssource

10月14日

@zr_tex8r

もしかして:某ZR@zr_tex8r

となると、いよいよ
「DVI出力の場合はグローバルのドライバオプションを*必ず*指定することを推奨する。“option not used”の警告が出るかもしれないがそれは仕方がない」
ということを考えないといけないのかもしれない。
#TeX #LaTeX

posted at 21:31:34 削除

10月14日

@zr_tex8r

もしかして:某ZR@zr_tex8r

「expl3依存なパッケージはドライバ依存」ということになると、フツーの幸せなLaTeX者にとっては「どのパッケージがドライバ依存をもつのか」がいよいよ判らなくなった感じ。これに関しては公式ドキュメントすら当てにならないことも多い。
#TeX #LaTeX

posted at 21:25:46 削除

2019年10月13日(日)12 tweetssource

10月13日

@zr_tex8r

もしかして:某ZR@zr_tex8r

ワープロソフト(MS Word・一太郎・Libre Writer)を
「“構造をもつ文書”の編集、特にアウトラインモードを中心としたワークフロー」
に関する機能の優劣で比較した場合、どれに軍配が上がるのだろう?
#TeX以外

posted at 20:18:46 削除

2019年10月12日(土)28 tweetssource

2019年10月11日(金)14 tweetssource

10月11日

@zr_tex8r

もしかして:某ZR@zr_tex8r

数式中で等幅書体の識別子を使うならば、それは単字ではなく複数字のものになりそう。つまりLaTeXのunicode-mathパッケージの用語でいえば“math alphabet”ではなく“text math alphabet”の方に相当する。
SATySFiでは複数字の識別子は“数式中テキスト”(text-in-math)として扱われるのだろうか?
#satysf

posted at 19:36:23 削除

10月11日

@puripuri2100

きょむにゃん@puripuri2100

パズルスクエアとかTwitterに挙がってくるパズルを解き始めて強く感じたのは、「パズルを作るときに明らかなヒント(美術館での4マスとか)を多用しても良い」ということ

今まで、仮定を使わないで解けてしまうパズルの価値はあまりないと思い込んでいた

Retweeted by もしかして:某ZR

retweeted at 17:26:42 削除

10月11日

@tushuhei

Shuhei Iitsuka@tushuhei

Sphinx 2 で生成した tex ファイルは画像関連のディレクティブを \includegraphics{{foo}.png} として出力するのだけれど、これが texlive 2017 で入る latex では問題なく通り、texlive 2019 で入る latex では not found となる。はあ。

Retweeted by もしかして:某ZR

retweeted at 08:52:50 削除

このページの先頭へ