October 12th, 2020

(no subject)

https://ru.wikipedia.org/wiki/Исчисление_конструкций
Используется как базис для системы интерактивного доказательства Coq и ряда подобных инструментов

https://ru.wikipedia.org/wiki/Кодирование_Чёрча
https://ru.wikipedia.org/wiki/Формальная_система

Ну может не в таком жутком виде, но в адаптированном эти вещи вроде как подходят для исчисления моделей.
Имеется ввиду сама идейная часть. Надо думать.
На самом деле остенсивные определения по сути соответствуют константам в абстрактном языке (абстрактной формальной системе) "конкретная данная кошка", кошка это уже тип данных, а также может соответствовать типизированной переменной и т.п.

алмаз Джон Сова, diamond John Sowa

алмаз Джон Сова, diamond John Sowa
Top-Level Categories
http://www.jfsowa.com/ontology/toplevel.htm

Категории верхнего уровня

Эта веб-страница суммирует верхние уровни онтологии KR , которая определена в книге « Представление знаний » Джона Ф. Сова. На рисунке 1 показана решетка категорий верхнего уровня, обсуждаемых в главе 2 этой книги. Эти категории были выведены из синтеза различных источников, но два основных влияния - семиотика Чарльза Сандерса Пирса и категории существования Альфреда Норта Уайтхеда.

Top-Level Categories

холодная война китай-сша проходит очередные этапы

Apple, Google и другие переносят производство, чтобы подготовиться к «разобщенному» глобальному рынку.
...
В прошлом месяце правительство США через AIT публично повторило свое личное сообщение о том, что все иностранные поставщики технологий должны покинуть Китай.
...
Некоторым поставщикам было предложено создать офисы, управляемые Коммунистической партией Китая, на их производственном комплексе. По их словам, это все признаки того, что власти хотят быть более информированными о передвижениях поставщиков и предотвратить массовый исход. Поставщики в основном осторожны, чтобы не разглашать свои планы диверсификации, опасаясь внимания местных властей Китая.
...
линк

что такое термин?

(не окончательное определение, но пусть будет)

Термин - это слово или словосочетание, обозначающее строго определенное понятие и характеризующееся однозначностью в определенной области.

(Термин)
В логике, то же, что терм — элемент формализованного языка, соответствующий подлежащему или дополнению в обычном грамматическом смысле, и субъект суждения в традиционной логике.
https://ru.wikipedia.org/wiki/Термин
https://ru.wikipedia.org/wiki/Терм_(логика)

ps в статье обзор разных определений
---
К ВОПРОСУ О ПОНЯТИИ «ТЕРМИН» В СОВРЕМЕННОЙ ЛИНГВИСТИКЕ
Анна Александровна Яковлева
Сибирская государственная геодезическая академия, 630108, Россия, г. Новосибирск,
ул. Плахотного, 10, старший преподаватель кафедры иностранных языков и
межкультурных коммуникаций,
https://cyberleninka.ru/article/n/k-voprosu-o-ponyatii-termin-v-sovremennoy-lingvistike

В Большом энциклопедическом словаре можно найти такое определение
термина: «Термин – слово или словосочетание, обозначающее понятие
специальной области знания или деятельности» [1].
О.С. Ахманова определяет термин как «слово или словосочетание
специального (научного, технического и т. п.) языка, создаваемое
(принимаемое, заимствуемое и т. п.) для точного выражения специальных
понятий и обозначения специальных предметов» [1].
1. Алексеева Л.М. Проблемы термина и терминообразования. – Пермь, 1998. – 120 с.
---

ПРОБЛЕМАТИКА СОВРЕМЕННОГО ТЕОРЕТИЧЕСКОГО ТЕРМИНОВЕДЕНИЯ,
ДОСТИЖЕНИЯ И НЕДОСТАТКИ ТЕРМИНОЛОГИЧЕСКИХ ИССЛЕДОВАНИЙ
Е. Н. Таранова
https://core.ac.uk/download/pdf/151224716.pdf
---

КОНСПЕКТ КНИГИ
Мельников Г.П. Основы терминоведения. М.: Изд-во ун-та дружбы народов, 1991.-116с. лит. 181 назв.
http://www.rema44.ru/resurs/conspcts/all/trmnved.html
---

проблема с архивом жж

пользовался прогой "ljArchive.exe"
IjArchive version 0.9.7. by Erik Frey (sourceforge edition)

сохранение ЖЖ-дневников, архив жж
https://deep-econom.livejournal.com/424203.html

Сегодня крашнулась прога, посмотрел и понял, что в связи с тем, что архив жж достиг 23Мб, видимо на какойто список не хватает памяти.
Ну я пару дней назад сделал копию архива, думаю как предусмотрительно, не страшно, молодец. ))
Поудалял немного последних постов, запустился архив без краша.
Все норм.

Но что делать дальше?
В принципе у меня две функции были востребованы:
1. держать архив локально.
2. поиск по ключевым словам в архиве
(удобно находить прошлые записки, особенно при работе над искусственным интеллектом, постоянно требуется)

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

Есть очевидный выход, сделать новый жж. Но потеряются подписюки. )
Хммм, думать надо.
Или както переименовать данный жж, а новый сделать под этим именем. Тогда сохраню подписюк.

Ну можно не сохранять подписюк.
Типа поставить ссылку в профиль на новый жж. Близкие подписюки перейдут, а остальные не нужны. )

Может вы что подскажите?

ps открывая жж, я думал писать про трейдинг/экономику, назвался deep-econom.
Сейчас надо назваться както связанным с искусств.интеллектом и тогда погружусь вероятно в трейдинг. ))