deniok: (Default)
[personal profile] deniok
Написал
<img src="http://www.codecogs.com/eq.latex? A:*,P:A\rightarrow *\ \vdash\ (\lambda a:A\ \lambda x:Pa\,.\,x):(\Pi a:A\,.\,(Pa\rightarrow Pa)):*">
получил


Потирает руки и мурлычет :)

неубедительно

Date: 2008-07-18 05:25 pm (UTC)
From: [identity profile] nealar.livejournal.com
Не вижу преимуществ перед HTML. Недостатки вижу. Это я не к тому, что подход плохой, а к тому что покажи преимущества. Наверняка они есть.

Походу, в педивикии формулы делают именно этим способом.

Re: неубедительно

Date: 2008-07-18 05:46 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
У меня в TeX много добра набрано - копируй и вставляй :) И потом как в HTML многострочные фигульки красиво образовывать? Типа такого



И вообще, TeX делает красиво :)

Re: неубедительно

Date: 2008-07-18 09:12 pm (UTC)
From: [identity profile] nealar.livejournal.com
В 3 строчки. HTML делает не хуже. Зато портабельней и редактируется лехко. И никаких вымерших языков учить не надо. Покажи такое, что в HTML не делается. И я сразу накчну переться.

Re: неубедительно

Date: 2008-07-18 09:33 pm (UTC)
From: [identity profile] deni-ok.livejournal.com


порождается кодом
\underbrace{a+\overbrace{b+\cdots+y}^{24}+z}_{26}
Фишка в том, что в LaTeX'е определены практически все макросы, нужные для набора естественно-научных формул (типа \overbrace x^y растягивающегося по ширине x). И учтены тонкости, основанные на знаниях, накопленных за несколько веков естественно-научной типографики - Кнут подошел к делу крайне серьезно и основательно.

А так да, всякое изображение можно из примитивов ручками собрать, кто бы спорил.

Re: неубедительно

Date: 2008-07-19 03:36 am (UTC)
From: [identity profile] nealar.livejournal.com
Вот! Теперь вижу, что есть повод изучать ТеХ.
> всякое изображение можно из примитивов ручками собрать
Но красиво получится далеко не всегда.

Re: неубедительно

Date: 2008-07-19 07:45 am (UTC)
From: [identity profile] deni-ok.livejournal.com
>Но красиво получится далеко не всегда.
Технически, на самом низком уровне в TeX'е эти фигурные скобочки именно из кусочков собираются - вставляется горизонтальный отрезок подходящего размера. Вот, кстати, ещё один пример


Три самых больших корня идентичны и отличаются только наращиванием вертикального сегмента. А остальные четыре - отдельные символы :)

Re: неубедительно

Date: 2008-07-19 08:39 am (UTC)
From: [identity profile] nealar.livejournal.com
Красотища!
Но руками пишется ведь не на самом низком уровне, а кагбе декларативно?
Кстати, есть

Re: неубедительно

Date: 2008-07-19 08:40 am (UTC)
From: [identity profile] nealar.livejournal.com
ли дока, чтоб ТеХ учить не фундаментально, с основ, а с самых простых вещей: от простого текста к более и более навороченной разметке?

Re: неубедительно

Date: 2008-07-19 09:34 am (UTC)
From: [identity profile] deni-ok.livejournal.com
У меня всё бумажное.
Leslie Lamport, LaTeX A Document Preparation System. Это книга автора LaTeX'а.
Ну и The TexBook Кнута (в русском переводе Всё про TeX). Хотя последнее как раз полезно, если хочется разобраться как всё устроено до самых основ. А набирают все в LaTeX'е, который есть надстройка над TeX.

ЗЫ: Вот вроде это хвалят ftp://ftp.vsu.ru/pub/tex/docs/lshortru.pdf.gz.

Вообще запости лучше вопрос в [livejournal.com profile] ru_tex

спасибо!

Date: 2008-07-20 04:23 pm (UTC)
From: [identity profile] nealar.livejournal.com
Читается прям как вода пьётся.

Re: спасибо!

Date: 2008-07-20 04:24 pm (UTC)
From: [identity profile] kurilka.livejournal.com
Присоединяюсь!

Re: неубедительно

Date: 2008-07-19 12:19 pm (UTC)
From: [identity profile] nivanych.livejournal.com
Хы.
Попробуй, набери то же в HTML.
Однозначно, будет сложнее.

А если ещё иметь опыт в Tex,
так совсем замечательно будет.
Помнится, видел, один чУвак
на лекциях с нотбуком сидел,
и в реал-времени в Tex набирал.
Попробуй-как так же в HTML ?
То-то же ;-)

Re: неубедительно

Date: 2008-07-19 03:08 pm (UTC)
From: [identity profile] nealar.livejournal.com
> Помнится, видел, один чУвак
на лекциях с нотбуком сидел,
и в реал-времени в Tex набирал.
> Попробуй-как так же в HTML ?
Буков в HTML чуть поменьше будет, но, мне кацца, нереально это. Чуваг, наверно, макросов наопределял нужных. Хотя plain text со скоростью лекции, всё равно, мне кажется нереальным.

Re: неубедительно

Date: 2008-07-19 03:42 pm (UTC)
From: [identity profile] nivanych.livejournal.com
Жать, не достать его.
А то б спросил подробнее.

Re: неубедительно

Date: 2008-07-19 04:34 pm (UTC)
From: [identity profile] nealar.livejournal.com
Может он для plain text тоже макросов наопределял? Как некоторые на бумаге писали "д-во","св-ва" и прочий ужос. А то что в эти спецтермины не умещалось, просто игнорировал.

Re: неубедительно

Date: 2008-07-19 04:43 pm (UTC)
From: [identity profile] nivanych.livejournal.com
Низнайу ...
Сейчас можно только догадываться.
Но получалось приикольно !

Re: неубедительно

Date: 2008-07-20 10:46 pm (UTC)
From: [identity profile] migmit.vox.com (from livejournal.com)
> Как некоторые на бумаге писали "д-во","св-ва" и прочий ужос.

Паапрашу!

Один товарищ, взяв мой конспект по, кажись, социологии (или другой какой-то лженауке), сказал, что мне следует писать архиваторы. Конспект занимал три листа, но при этом содержал всё.

Это, конечно, не идеал, но ИМХО близко.

Re: неубедительно

Date: 2008-07-19 02:17 pm (UTC)
From: [identity profile] nivanych.livejournal.com
> Походу, в педивикии формулы делают именно этим способом.

Там везде ссылка на .png'шки.
А вот генерируют их, и правда, из TeX'а.

Re: неубедительно

Date: 2008-07-19 03:06 pm (UTC)
From: [identity profile] nealar.livejournal.com
Стиль узнаётся.

Date: 2008-07-18 08:12 pm (UTC)
From: [identity profile] kurilka.livejournal.com
В меморис (правда с техом я так и не разобрался до конца)

Date: 2008-07-19 12:16 pm (UTC)
From: [identity profile] nivanych.livejournal.com
Класс !
Как раз искал чего поудобнее !
Для жж лучше и не найти !

И заодно хороший повод TeX учить ;-)

Date: 2008-07-19 03:43 pm (UTC)
From: [identity profile] nivanych.livejournal.com
Наверное, это делается на mimeTeX.
http://www.forkosh.com/mimetex.html
Хорошая штука.

Date: 2008-07-19 04:45 pm (UTC)
From: [identity profile] nivanych.livejournal.com
Поигрался я ... эх ...
;-|
Неинтересно, пакетов типа diagrams нету ...
Как же я буду диаграммы рисовать-то ? ...
Разве что, массивами, но это хреновато ...

Date: 2008-07-19 09:46 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
:-(
Да, там даже пакета xy нету, с помощью которого можно было бы их делать.

http://www.dpmms.cam.ac.uk/~al366/misctutorial/CommDiagrams/

Date: 2008-07-20 06:09 am (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
О ё. Вот чем, наверное, надо пользоваться...

Date: 2008-07-20 06:53 am (UTC)
From: [identity profile] deni-ok.livejournal.com
А вот в Gmail'е, кстати, изображение глючит. Потому что он добавляет плюсики вместо пробелов в теховскую строчку, идущую после знака вопроса. В итоге, скажем, вместо "http://www.codecogs.com/eq.latex?\nabla x"

получается "http://www.codecogs.com/eq.latex?\nabla+x"

Date: 2008-07-20 07:04 am (UTC)
From: [identity profile] kurilka.livejournal.com
эээ, смотрю через гмыл, разницы не вижу в упор - http://pics.livejournal.com/kurilka/pic/0000561t

Date: 2008-07-20 07:13 am (UTC)
From: [identity profile] deni-ok.livejournal.com
Плюсика между наблой и x быть не должно. Я написал \nabla x, а гугль, поскольку это часть адреса, заменил пробелу на плюсики ;)

пробелы, конечно

Date: 2008-07-20 07:16 am (UTC)
From: [identity profile] deni-ok.livejournal.com
Слово новое придумал: пробела, жена пробела :))

Re: пробелы, конечно

Date: 2008-07-20 07:30 am (UTC)
From: [identity profile] nivanych.livejournal.com
;-) Классно. Когда поженились ?
Почему про неё никто не знает ?

Date: 2008-07-20 07:26 am (UTC)
From: [identity profile] kurilka.livejournal.com
А, блин, не допёр что разница должна быть :)

Date: 2008-07-20 07:32 am (UTC)
From: [identity profile] nivanych.livejournal.com
Диаграммы-то как рисовать ?? ;-(

Date: 2008-07-20 10:36 pm (UTC)
From: [identity profile] migmit.vox.com (from livejournal.com)
А ну-ка, попробуем, съест или нет:

A: ∗, P: A⟶∗ ⊢ (λa: A λx: Pa.x): (∏a: A.(Pa⟶Pa)): ∗

Date: 2008-07-20 10:41 pm (UTC)
From: [identity profile] migmit.vox.com (from livejournal.com)
У меня выглядит так:

Image (http://migmit.vox.com/)

Похоже, съело.

Date: 2008-07-20 10:43 pm (UTC)
From: [identity profile] migmit.livejournal.com
Блин. А вот картинку не съело.

Date: 2008-07-21 06:09 am (UTC)
From: [identity profile] ro-che.livejournal.com
О, круто :) Я недавно искал нечто подобное, в итоге обошелся HeVeA, вот что получилось (http://ro-che.blogspot.com/2008/07/while-working-on-physics-engine-i-have.html).

Date: 2008-08-06 06:57 am (UTC)
From: [identity profile] ro-che.livejournal.com
Скрипт, который преобразует $...$ и $$...$$ формулы в ссылки на рисунки. Авось кому-то пригодится.
http://ro-che.info/docs/tex2html.pl.gz

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 3rd, 2025 08:50 am
Powered by Dreamwidth Studios