Хочу писать интерактивные учебники

[george66]

Написав учебник теории категорий, хочу дальше делиться знаниями, но встречаю трудности. Если писать как все (намечать идею доказательства и "и так далее"), никто разбираться не будет и деталей не поймёт. Более того, и ошибок не заметит (после слов "и так далее" бывают дырки в доказательствах даже в книгах хороших математиков). Если же я сам добросовестно выписываю доказательства, получается малосъедобный кирпич. Учебник теории категорий спасали картинки-диаграммы, которые чрезвычайно помогают пониманию. А не попробовать ли писать интерактивные учебники? Чтобы формулы преобразовывались на глазах изумлённого читателя, критические места подсвечивались разными цветами и т.д. Посмотрел, что у нас есть для этого. Есть формат "интерактивный pdf", но его читает только платная программа фирмы Adobe. Ещё предлагают какие-то программы вроде Quarto, где надо писать текст на маркдауне, что-то я сомневаюсь. Может, кто-то что-то посоветует?

[Geen]

А чем не устраивают обычные "web-страницы"?

[Mental]

george66 в сообщении #1723315 писал(а):

А не попробовать ли писать интерактивные учебники?

Вот хороший интерактивный учебник:
https://maximumtest.ru/uchebnik/matematika
Чтобы сделать нужно HTML + css знать.
А можно просто ИИ агента запустить типа Codex или Claude code, он всё сам сделает, даже в Git отправит.

[george66]

Geen в сообщении #1723317 писал(а):

А чем не устраивают обычные "web-страницы"?

Я так понимаю (погуглил), браузер рисует только базовый LaTex, а мне нужны расширения для деревьев вывода, категорных диаграмм и т.д. Предлагают их компилировать заранее и вставлять уже в виде картинок.

[Geen]

george66 в сообщении #1723323 писал(а):

браузер рисует только базовый LaTex

Браузер вообще LaTeX не рисует. Всегда нужна какая-то библиотека (самому будет очень долго и муторно). Посмотрите, например, MathJax.

[george66]

Ну, вот я общаюсь с ИИ google. Есть "pdf со слоями", но его не показывает браузер (и большинство программ-читалок). Есть Quarto и при ней MathJax для браузера, но там только базовый LaTex, а мне деревья вывода надо рисовать. Печально.

[Mental]

Тоже погуглил немного:

Цитата:

1. Установите VSCode

2. Установите расширение LaTeX workshop для VSCode

3. Установите TeXLive, который установит все пакеты и позволит вам компилировать pdf-документы.

Вот и все. Если вам не нравится VSCode (он может показаться немного пугающим, если вы новичок в программировании в целом), вы также можете попробовать TeXStudio с TeXLive.

Насколько я понял, можно pdf (он кстати может быть векторым) делать, а потом распространять где угодно.

Полностью здесь:
https://www.reddit.com/r/LaTeX/comments ... ner/?tl=ru

[Geen]

george66 в сообщении #1723470 писал(а):

но там только базовый LaTex, а мне деревья вывода надо рисовать.

https://docs.mathjax.org/en/latest/inpu ... roofs.html это разве не то, что Вы хотите?

[george66]

В общем, я понял, как это сейчас делают. Скачивается фигня под названием jupyter, позволяющая в браузере открывать и редактировать текст (на маркдауне) со вставленными туда фрагментами кода, которые по желанию запускаются на выполнение. Готовым текстом и кодом можно поделиться, выложив на специальный сайт и дав ссылку (можно также скачать и запускать на своём компьютере, поставив jupyter). LaTex поддерживается далеко не весь, с рисованием диаграмм могут быть проблемы, зато нашлись деревья вывода, спасибо. Сейчас долго бился, пытаясь вставить туда какой-нибудь стековый язык, железный дурак (ИИ гугла) даёт каждый раз разные советы и все не работают. На питоне писать не буду принципиально (себя не уважать), предлагают также языки R, Julia и ещё много разных удивительных
https://github.com/tariqueus/jupyter-kernels
Писать на Forth железный дурак сильно не советует, не доработано, говорит, и падает часто, аналогично и Postscript. Программа Quarto позволяет сделать из блокнота jupyter книжку или сайт (pdf или html), но возможность запускать код пропадёт.

[george66]

В унынии. Пытаюсь написать что-нибудь простенькое для jupyter. А именно, интерактивное доказательство формул исчисления высказываний. Пользователь, по замыслу, на каждом шаге будет говорить, какое правило теперь применить, а железяка рисовать соответствующий кусок вывода (построение снизу вверх). В качестве языка взял F# (простой язык, с которым я шапочно знаком, хорошо поддерживает грамматический разбор). Притом железный дурак говорит, что для F# "очень хорошая привязка к jupyter". На первом же шаге проблема -- нарисовать кусок вывода получается, но только один раз, дальше он уже не меняется. Железный дурак объясняет, что таковы особенности "очень хорошей привязки" и даёт всякие советы, которые "100% будут работать", ни один их них не работает. В принципе, имея терпение, разобраться можно (Docker я освоил, слушая советы железного дурака), но что-то энтузиазма нет.